437 search results - page 58 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
151
Voted
CBMS
2000
IEEE
15 years 8 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....
153
Voted
ACMDIS
2008
ACM
15 years 5 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...
121
Voted
BIRTHDAY
2005
Springer
15 years 9 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...
107
Voted
IPPS
2000
IEEE
15 years 8 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...
154
Voted
DAC
1996
ACM
15 years 7 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...