733 search results - page 98 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
252
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
148
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
163
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
130
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
143
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...