Sciweavers

4476 search results - page 211 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
HICSS
1999
IEEE
121views Biometrics» more  HICSS 1999»
15 years 11 months ago
Evaluation of the JIAJIA Software DSM System on High Performance Computer Architectures
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...
M. Rasit Eskicioglu, T. Anthony Marsland, Weiwu Hu...
CL
1999
Springer
15 years 6 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
BPM
2000
Springer
191views Business» more  BPM 2000»
15 years 11 months ago
ARIS Architecture and Reference Models for Business Process Management
In this article a general business process architecture is presented, which is based on the Architecture of Integrated Information Systems (ARIS) and which is composed of the four ...
August-Wilhelm Scheer, Markus Nüttgens
EUROMICRO
2000
IEEE
15 years 11 months ago
Reliability Analysis of a Self-Repairing Embryonic Machine
The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes relia...
Cesar Ortega-Sanchez, Andrew M. Tyrrell, Daniel Ma...
JUCS
2002
146views more  JUCS 2002»
15 years 6 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo