Sciweavers

2813 search results - page 22 / 563
» Formalizing Architectural Connection
Sort
View
GCC
2004
Springer
14 years 3 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
MSS
2000
IEEE
105views Hardware» more  MSS 2000»
14 years 2 months ago
Connection of a Climate Model Database and Mass Storage Archive(s)
An overview of an existing climate database which allows for storage of terabyte data volume is presented. Some features like the general architecture and the integration with an ...
Michael Lautenschlager, Hannes Thiemann
ICEGOV
2009
ACM
13 years 7 months ago
Architecting the connected government: practices and innovations in Singapore
Countries aiming to transform their Governments require a more sophisticated e-government model
Pallab Saha
EAGC
2004
Springer
14 years 3 months ago
Connecting Condor Pools into Computational Grids by Jini
This paper describes how Condor-pools could be joined together to form a large computational cluster-grid. In the architecture Jini provides the infrastructure for resource lookup,...
Gergely Sipos, Péter Kacsuk
ICECCS
2008
IEEE
115views Hardware» more  ICECCS 2008»
14 years 4 months ago
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...