10038 search results - page 1796 / 2008 » Model Checking for Managers |
149
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Relational graphs are widely used in modeling large scale networks such as biological networks and social networks. In this kind of graph, connectivity becomes critical in identif...
135
Voted
KES
2005
Springer
15 years 10 months ago
2005
Springer
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...
155
Voted
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
177
Voted
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
134
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...