1528 search results - page 254 / 306 » Object-Oriented Software Composition |
138
click to vote
LAWEB
2006
IEEE
16 years 5 days ago
2006
IEEE
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
145
click to vote
NORDICHI
2006
ACM
16 years 4 days ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...
165
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
165
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
150
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...