690 search results - page 89 / 138 » Testing Temporal Logic Properties in Distributed Systems |
AEI
2010
15 years 20 days ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
COLING
1996
15 years 1 months ago
1996
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...
107
click to vote
LISP
2002
15 years 6 days ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
86
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
131
Voted
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...