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...
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
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...
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...
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...