1453 search results - page 39 / 291 » State and history in operating systems |
101
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
SRDS
1999
IEEE
15 years 4 months ago
1999
IEEE
Availability in Process Support Systems (PSS) can be achieved by using standby mechanisms that allow a backup server to take over in case a primary server fails. These mechanisms,...
100
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
136
click to vote
RTAS
1999
IEEE
15 years 4 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
129
click to vote
DKE
2011
14 years 7 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...