12981 search results - page 460 / 2597 » Model Checking (Abstract) |
120
click to vote
DEXAW
1996
IEEE
15 years 9 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
132
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
139
click to vote
IAAI
2001
15 years 6 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
125
click to vote
JIPS
2010
14 years 11 months ago
2010
Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by c...
167
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...