Sciweavers

2521 search results - page 171 / 505
» Semantic Component Composition
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
13 years 11 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
MIDDLEWARE
2005
Springer
14 years 3 months ago
Distributed collaboration for event detection in wireless sensor networks
With the advancement of technology in micro-electronics and wireless communication, small miniature devices called sensor nodes can be used to perform various tasks by forming the...
A. V. U. Phani Kumar, Adi Mallikarjuna Reddy V, D....
CCECE
2006
IEEE
14 years 4 months ago
Software Architecture with Visual Frameworks
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...
Paul Tarvydas, Norm Sanford
CSL
2003
Springer
14 years 3 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
ICEBE
2007
IEEE
118views Business» more  ICEBE 2007»
14 years 2 months ago
The Design and Implementation of a Semantic Service Mediation System
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
Liangzhao Zeng, Hui Lei, Michael J. Dikun, Henry C...