1714 search results - page 225 / 343 » Abstract Models of Memory Management |
125
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
120
Voted
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
113
click to vote
IS
2006
15 years 3 months ago
2006
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...
121
click to vote
JAR
2006
15 years 3 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
129
click to vote
STTT
2008
15 years 3 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...