2043 search results - page 9 / 409 » Reasoning About Security Models |
127
Voted
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
119
click to vote
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
131
click to vote
IJCAI
1989
15 years 4 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
141
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
122
click to vote
HPCA
1999
IEEE
15 years 7 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...