9974 search results - page 1503 / 1995 » Software Interconnection Models |
199
click to vote
ICSOC
2004
Springer
16 years 9 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 ...
192
click to vote
IFM
2004
Springer
16 years 9 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...
172
click to vote
LCPC
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
167
click to vote
MABS
2004
Springer
16 years 9 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
178
click to vote
IPPS
2003
IEEE
16 years 6 days ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...