3515 search results - page 683 / 703 » On the semantics of Strategy Logic |
211
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
233
click to vote
ECMDAFA
2005
Springer
16 years 11 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
243
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
180
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
193
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...