2243 search results - page 15 / 449 » Contracts for Mobile Processes |
128
Voted
WOA
2001
15 years 3 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
108
click to vote
ITICSE
2003
ACM
15 years 7 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
113
Voted
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
127
click to vote
WEA
2010
Springer
15 years 7 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
119
Voted
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...