1105 search results - page 212 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
SIGECOM
2003
ACM
14 years 1 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
IJCAI
2003
13 years 10 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
TACAS
1998
Springer
14 years 25 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...