11580 search results - page 238 / 2316 » Communication vs. Computation |
ICDCSW
2000
IEEE
14 years 2 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
WMTE
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
EUC
2004
Springer
14 years 4 months ago
2004
Springer
As the vision of ubiquitous computing becomes reality smart devices are embedded into our surroundings and domestic appliances providing services transparently. The nature of such ...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
Given a set of service requests, each char acterize d by a temporal interval and a category, an integer k, and an integer hc for each categoryc, the Server A llocation with Bounde...