10159 search results - page 318 / 2032 » System Design Validation Using Formal Models |
123
Voted
WSC
2007
15 years 6 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
140
Voted
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
179
Voted
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
129
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
130
Voted
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...