1833 search results - page 222 / 367 » Mechanized Verification with Sharing |
155
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
150
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
193
click to vote
CLOUDCOM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
157
click to vote
AAAI
2007
15 years 8 months ago
2007
Developing human-centered agent architectures requires the integral consideration of architectural flexibility, teamwork adaptability, and context reasoning capability. With the ...
137
click to vote
WSC
2008
15 years 8 months ago
2008
Flight disruptions due to events such as inclement weather or mechanical failure are an increasing occurrence in today's air travel. It is important to develop flight schedul...