437 search results - page 58 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
CBMS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...