10159 search results - page 618 / 2032 » System Design Validation Using Formal Models |
195
click to vote
IDEAL
2003
Springer
16 years 8 days ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
207
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
197
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes the design, implementation and deployment of a wireless sensor system for athletes. The system is designed to profile sprints based on input from on-body senso...
203
click to vote
AAAI
1990
15 years 8 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
197
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...