7099 search results - page 28 / 1420 » Context for models of concurrency |
DSRT
1999
IEEE
14 years 2 months ago
1999
IEEE
Serialization, the traditional method of resolving concurrent interactions, is often inappropriate; when interactions are dependent on each other, other policies for resolving the...
ECOOP
2004
Springer
14 years 3 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
CL
1999
Springer
13 years 9 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
AAAI
2006
13 years 11 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
