Sciweavers

2153 search results - page 141 / 431
» Software Architectures for Task-Oriented Computing
Sort
View
105
Voted
ENTCS
2007
107views more  ENTCS 2007»
15 years 3 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil
138
Voted
HIPEAC
2005
Springer
15 years 9 months ago
Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
Pedro Javier García, Jose Flich, José...
133
Voted
VRML
2000
ACM
15 years 7 months ago
3D behavioral model design for simulation and software engineering
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Paul A. Fishwick
DCW
2000
Springer
15 years 7 months ago
The GIPSY Architecture
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
Joey Paquet, Peter G. Kropf
136
Voted
DEXAW
1998
IEEE
98views Database» more  DEXAW 1998»
15 years 7 months ago
An Information Model for Nomadic Environments
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
Andy Bond, Matthew Gallagher, Jadwiga Indulska