924 search results - page 9 / 185 » Middleware-based distributed systems software process |
TACS
2001
Springer
15 years 4 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...
101
click to vote
ECOOPW
1998
Springer
15 years 3 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
137
click to vote
PROMISE
2010
14 years 6 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
118
click to vote
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
119
click to vote
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...