2364 search results - page 134 / 473 » An Engine for Computing Well-Founded Models |
121
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
135
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
The evolving concepts of mobile computing, context-awareness, and ambient intelligence are increasingly influencing user's experience of services. Therefore, the goal of this...
111
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
125
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
160
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...