6274 search results - page 468 / 1255 » Proofs, Programs, Processes |
156
click to vote
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents an environment for supporting parallel/distributed programming using Java with RMI and RMI-IIOP (CORBA). The environment implements the notion of Shared Object...
168
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the problems faced by large, global organizations and enterprises is to effectively enable their employees to collaborate across locations. People need collaborative work s...
170
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
181
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
168
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...