3256 search results - page 508 / 652 » Applications of Formal Methods to System Design and Verifica... |
COOPIS
2002
IEEE
15 years 3 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
ENTCS
2006
14 years 10 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
VG
2003
14 years 11 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...