4340 search results - page 190 / 868 » Formal Methods and Cryptography |
156
click to vote
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
135
click to vote
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
143
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
176
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
135
click to vote
ARTMED
2006
15 years 4 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...