4919 search results - page 647 / 984 » A Process-Ontological Model for Software Engineering |
129
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
142
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
148
Voted
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
146
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
143
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...