Sciweavers

1779 search results - page 77 / 356
» Patterns of Component Evolution
Sort
View
CD
2004
Springer
14 years 1 months ago
Customizing Component-Based Architectures by Contract
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
Orlando Loques, Alexandre Sztajnberg
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
14 years 1 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
TOOLS
1999
IEEE
14 years 17 days ago
Communication as a Means to Differentiate Objects, Components and Agents
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
Dwight Deugo, Franz Oppacher, Bruce Ashfield, Mich...
CIKM
2010
Springer
13 years 6 months ago
A method for discovering components of human rituals from streams of sensor data
This paper describes an algorithm for determining if an event occurs persistently within an interval where the interval is periodic but the event is not. The goal of the algorithm...
Athanasios Bamis, Jia Fang, Andreas Savvides
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 12 hour ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li