3515 search results - page 421 / 703 » On the semantics of Strategy Logic |
210
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
249
click to vote
SAINT
2008
IEEE
16 years 2 months ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...
216
click to vote
SEMWEB
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
212
click to vote
VMCAI
2004
Springer
16 years 28 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
236
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...