690 search results - page 90 / 138 » Testing Temporal Logic Properties in Distributed Systems |
115
click to vote
WACV
2002
IEEE
15 years 5 months ago
2002
IEEE
Detecting human arm motion in a typical classroom environment is a challenging task due to the noisy and highly dynamic background, varying light conditions, as well as the small ...
120
click to vote
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
107
Voted
SLOGICA
2008
15 years 13 days ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
96
Voted
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
113
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...