3868 search results - page 307 / 774 » Open Systems in TLA |
190
Voted
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
New storage-class memory (SCM) technologies, such as phasechange memory, STT-RAM, and memristors, promise user-level access to non-volatile storage through regular memory instruct...
206
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
187
Voted
WCRE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Determining who are the copyright owners of a software system is important as they are the individuals and organizations that license the software to its users, and ultimately t...
210
click to vote
WEBI
2009
Springer
16 years 2 months ago
2009
Springer
—In open multiagent systems, agents need to model their environments in order to identify trustworthy agents. Models of the environment should be accurate so that decisions about...
228
click to vote
TLCA
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...