Sciweavers

485 search results - page 81 / 97
» Modular Visitor Components
Sort
View
RE
2004
Springer
14 years 2 months ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid
SEMWEB
2004
Springer
14 years 2 months ago
A Semantic Approach for Designing E-Business Protocols
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
Ashok U. Mallya, Munindar P. Singh
ICLP
2003
Springer
14 years 2 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink
ITNG
2010
IEEE
14 years 2 months ago
VoIP Based Telehomecare Application Kiosk
—Healthcare services and systems throughout the world are in trouble and the proportion of expenditures devoted to healthcare is increasing rapidly. In addition to that, an incre...
Christian Menkens, Werner Kurschl
ICDCS
2002
IEEE
14 years 2 months ago
An Extensible and Scalable Content Adaptation Pipeline Architecture to Support Heterogeneous Clients
The importance of middleware and content adaptation has previously been demonstrated for pervasive use of Web-based applications. In this paper we propose a modular, extensible, a...
Thomas Phan, George Zorpas, Rajive Bagrodia