Sciweavers

4287 search results - page 189 / 858
» Assessing Architectural Complexity
Sort
View
ISWC
2002
IEEE
15 years 9 months ago
A Wearable Computer for Support of Astronaut Extravehicular Activity
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...
Christopher E. Carr, Steven J. Schwartz, Ilia Rose...
DAC
1998
ACM
15 years 8 months ago
Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
Tuyen V. Nguyen, Anirudh Devgan, Ognen J. Nastov
DAC
2010
ACM
15 years 8 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
DEXAW
2004
IEEE
124views Database» more  DEXAW 2004»
15 years 7 months ago
PAC-MEN: Personal Autonomic Computing Monitoring Environment
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
Roy Sterritt, David F. Bantz
ICWS
2003
IEEE
15 years 5 months ago
Towards Agent-Based Rational Service Composition - RACING Approach
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
Vadim Ermolayev, Natalya Keberle, Sergey Plaksin