5599 search results - page 286 / 1120 » Abstract State Services |
184
click to vote
ROBOCUP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
299
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
176
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
164
click to vote
OOPSLA
2004
Springer
15 years 12 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...
160
click to vote
INFOCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
— Multi-tier Internet service clusters often contain complex calling dependencies among service components spreading across cluster nodes. Without proper handling, partial failur...