826 search results - page 76 / 166 » Resolving Concurrent Interactions |
198
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
150
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
120
Voted
CONCURRENCY
2008
15 years 3 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
120
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
133
click to vote
TCAD
1998
15 years 3 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...