1690 search results - page 205 / 338 » Algorithmic Properties of Millstream Systems |
157
click to vote
OOPSLA
1997
Springer
15 years 9 months ago
1997
Springer
A new garbage collection algorithm for distributed object systems, called DMOS (Distributed Mature Object Space), is presented. It is derived from two previous algorithms, MOS (Ma...
142
Voted
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
149
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
120
click to vote
RIAO
2007
15 years 6 months ago
2007
Abstract: Melody is an important property for the perceptual description of Western musical pieces. In the monophonic context, retrieval systems based on melodic similarity general...
146
click to vote
DBSEC
2004
15 years 6 months ago
2004
Real-time update of access control policies, that is, updating policies while they are in effect and enforcing the changes immediately, is necessary for many security-critical appl...