4224 search results - page 469 / 845 » Reasoning about Choice |
196
click to vote
TGC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
195
click to vote
TRUSTBUS
2007
Springer
16 years 29 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
175
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
186
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
195
click to vote
IEEEICCI
2006
IEEE
16 years 26 days ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...