9518 search results - page 1569 / 1904 » On Mobility of Software Processes |
213
click to vote
EKAW
2004
Springer
16 years 4 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
194
click to vote
ICSOC
2004
Springer
16 years 4 days ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
186
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
153
click to vote
IWMM
2004
Springer
16 years 3 days ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
145
click to vote
LCPC
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...