1456 search results - page 16 / 292 » An Overview of the SODA System |
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Online personal advertisements have recently become an easy, socially acceptable way to meet partners for dates or relationships. Because popular personals systems not only reflec...
ENTCS
2008
13 years 7 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
JANCL
2006
13 years 7 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
MSS
1999
IEEE
13 years 11 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
MOVEP
2000
13 years 11 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...