7929 search results - page 351 / 1586 » Applications experience in Jade |
171
click to vote
IROS
2008
IEEE
16 years 2 months ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
181
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
Resource sharing across different computers and organizations makes it possible to support diverse, dynamic changing resource requirements of distributed applications. Reservation...
191
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
215
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
Predominant resources for execution of any application are computational power and memory. On one side, computational power has grown many folds faster than memory capacity. On th...
224
click to vote
SPIN
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...