2127 search results - page 285 / 426 » Software Automation |
109
Voted
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
119
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
127
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
RFID are used to identify products in factory automation applications; Multi agent systems are a possibility to introduce flexibility into production processes. This article intro...
133
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
126
Voted
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...