1256 search results - page 46 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
123
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
139
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
129
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
121
click to vote
CBMS
1997
IEEE
15 years 8 months ago
1997
IEEE
We describe a research project for the development of a system for cataloguing, retrieval and interactive manipulation of 30 models of pathological human organs from a distributed...
175
click to vote
ECHT
1992
15 years 8 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...