8644 search results - page 1424 / 1729 » On the Composition of Secure Systems |
186
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
205
click to vote
RT
2004
Springer
16 years 4 days ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
186
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a novel system and methodology for browsing and exploring topics and concepts within a document collection. The process begins with the generation of multiple taxonomie...
187
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
181
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...