205 search results - page 31 / 41 » Architecting families of software systems with process algeb... |
WER
1999
Springer
13 years 11 months ago
1999
Springer
This work presents a systematic approach to knowledge acquisition within the domain analysis context, which grants a well defined process for eliciting and representing domain info...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Commercial Scale-Out is a new research project at IBM Research. Its main goal is to investigate and develop technologies for the use of large scale parallelism in commercial appli...
ATAL
2001
Springer
14 years 2 days ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
FASE
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
TAPSOFT
1995
Springer
13 years 11 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...