Sciweavers

345 search results - page 37 / 69
» A Classification Framework for Software Reuse
Sort
View
117
Voted
ICIP
2005
IEEE
16 years 2 months ago
Bayesian visual tracking with existence process
Most object tracking approaches either assume that the number of objects is constant, or that information about object existence is provided by some external source. Here, we show...
Jaco Vermaak, Mark Briers, Patrick Pérez, S...
SOCO
2007
Springer
15 years 6 months ago
Dynamically Adaptable Applications with iPOJO Service Components
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
Clément Escoffier, Richard S. Hall
ISORC
2005
IEEE
15 years 6 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
105
Voted
AMAST
2000
Springer
15 years 4 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
106
Voted
RTAS
1995
IEEE
15 years 4 months ago
ControlShell: component-based real-time programming
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
Stanley A. Schneider, Vincent W. Chen, Gerardo Par...