488 search results - page 40 / 98 » Derivation of Java Monitors |
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
105
click to vote
WOWMOM
2009
ACM
15 years 6 months ago
2009
ACM
We demonstrate the channel assignment in a metropolitan wireless multi-radio mesh network with directional antennas. A channel assignment approach is presented using suitable algo...
103
click to vote
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
102
click to vote
ICMCS
1999
IEEE
15 years 4 months ago
1999
IEEE
The Distributed Video Server (DVS) system provides a comprehensive solution for the management and distribution of a major future electronic commodity service, Video on Demand (VO...
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...