1077 search results - page 142 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
121
Voted
ICCAD
2001
IEEE
16 years 12 days ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
163
Voted
ISAMI
2010
15 years 1 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
139
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
209
Voted
ICOODB
2010
15 years 1 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
126
Voted
MASCOTS
2003
15 years 4 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...