4385 search results - page 23 / 877 » Abstraction for Concurrent Objects |
FOSSACS
2012
Springer
12 years 6 months ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
CC
2008
Springer
14 years 27 days ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
COMPSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
SSD
2007
Springer
14 years 5 months ago
2007
Springer
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...
ECOOPW
1998
Springer
14 years 3 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...