1065 search results - page 40 / 213 » Droidel: a general approach to Android framework modeling |
GCC
2003
Springer
15 years 2 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...
106
click to vote
ATAL
2008
Springer
14 years 10 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
84
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Dynamic spectrum access has been proposed as a means to share scarce radio resources, and requires devices to follow protocols that use resources in a proper, disciplined manner...
ICNS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...