9006 search results - page 1305 / 1802 » Modeling Software |
171
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
196
click to vote
ICSOC
2004
Springer
16 years 6 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 ...
190
click to vote
IFM
2004
Springer
16 years 6 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...
170
click to vote
LCPC
2004
Springer
16 years 6 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...
164
click to vote
MABS
2004
Springer
16 years 6 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...