Proceedings, Volumes 1-2IEEE, 1999 - Artificial intelligence |
From inside the book
Results 1-3 of 85
Page 1013
... allows methodologies that are more flexible than classical ones . This solution allows for the matching of information systems to enterprises ' strategies . Users ' requirements are more rapidly satisfied . Executive management and ...
... allows methodologies that are more flexible than classical ones . This solution allows for the matching of information systems to enterprises ' strategies . Users ' requirements are more rapidly satisfied . Executive management and ...
Page 1174
... allows us to improve the re- usability of the system specifications on the three following aspects : First of all , the B technology allows us to prove behaviour properties initially defined as the characteristics of the system . The ...
... allows us to improve the re- usability of the system specifications on the three following aspects : First of all , the B technology allows us to prove behaviour properties initially defined as the characteristics of the system . The ...
Page 1273
... allows their access and modification . It can be considered a sort of Edit mode in a lower level than the explained drag - and- drop mode . In fact , both levels are complementary in such a way that each one of them is more appropriate ...
... allows their access and modification . It can be considered a sort of Edit mode in a lower level than the explained drag - and- drop mode . In fact , both levels are complementary in such a way that each one of them is more appropriate ...
Contents
Nonlinear Behavior of a Magnetic Microactuator 393 | 787 |
On Problem of Optimal Design of Transfer Lines with Parallel and Sequential | 790 |
Rigidity Analysis from Range Image Data for Automatic Inspection of Filter | 797 |
Copyright | |
76 other sections not shown
Other editions - View all
Common terms and phrases
analysis application approach architecture Automation behaviour cell communication components Computer configuration considered constraints control system Controller Area Network CORBA cycle cyclic data link layer database defined delay described detection developed devices diagram dispatching rules distributed dynamic elements environment equation evaluation example execution expert systems fieldbus Figure fitness function FPGA frame function blocks genetic algorithms grafcet IEEE implementation industrial input integration interface layer machine master agent maximum method microcontroller Modbus Modelica module nodes object obtained operation optimal output P-NET parameters path performance Petri nets problem product lifecycle management production Profibus protocol real-time represents request robot scheduling sensors sequence server simulation SNMP solution specification station structure sub agent subnetworks Table task techniques token transition transmission variables WorldFIP