10159 search results - page 1786 / 2032 » System Design Validation Using Formal Models |
281
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
157
click to vote
COLCOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— Computer supported collaboration systems, or groupware, are being used more and more in the real life. In the recent years, we are witnessing an increasing demand for supportin...
164
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
198
click to vote
TPDS
2008
15 years 6 months ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
193
click to vote
COMCOM
1998
15 years 6 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...