Sciweavers

1669 search results - page 73 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
JSS
2008
136views more  JSS 2008»
13 years 9 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ZUM
2000
Springer
14 years 1 months ago
A Computation Model for Z Based on Concurrent Constraint Resolution
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
Wolfgang Grieskamp
VMCAI
2004
Springer
14 years 3 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
WOSP
1998
ACM
14 years 1 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
DMDW
2003
269views Management» more  DMDW 2003»
13 years 11 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...