Sciweavers

832 search results - page 8 / 167
» Declarative Specification of Software Architectures
Sort
View
ICDE
2002
IEEE
143views Database» more  ICDE 2002»
14 years 11 months ago
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
The development of new services through the integration of existing ones has gained a considerable momentum as a means to create and streamline business-to-business collaborations...
Boualem Benatallah, Quan Z. Sheng, Anne H. H. Ngu,...
ICSE
2003
IEEE-ACM
14 years 10 months ago
Architecture-Level Requirements Specification
The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirement...
Davor Svetinovic
AMAST
1998
Springer
14 years 2 months ago
Architectural Specifications in CASL
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
14 years 10 months ago
DejaVu: declarative pattern matching over live and archived streams of events
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
Nihal Dindar, Baris Güç, Patrick Lau, ...
IWSAS
2000
Springer
14 years 1 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...