2698 search results - page 210 / 540 » Software Process Model Blueprints |
164
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
188
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
165
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
225
click to vote
CSREAESA
2006
15 years 8 months ago
2006
The Satellite Data Model (SDM) is part of the Air Force Research Laboratory (AFRL) Responsive Space Testbed Initiative. It is a developing standard for rapid integration of hardwa...
189
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...