Sciweavers

660 search results - page 30 / 132
» Performance Specifications and Metrics for Adaptive Real-Tim...
Sort
View
ADHOC
2005
125views more  ADHOC 2005»
13 years 7 months ago
Adaptive interpiconet scheduling for multipurpose scatternet scenarios
Bluetooth specification still has open issues, including the intra and interpiconet scheduling topics. This article proposes an interpiconet scheduling algorithm, referred to as A...
Werner Priess, José Ferreira de Rezende, Lu...
ATAL
2003
Springer
14 years 27 days ago
Information-driven phase changes in multi-agent coordination
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
Sven Brueckner, H. Van Dyke Parunak
RTAS
2006
IEEE
14 years 1 months ago
On Non-Utilization Bounds for Arbitrary Fixed Priority Policies
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
Xue Liu, Tarek F. Abdelzaher
ICSM
2006
IEEE
14 years 1 months ago
The Conceptual Coupling Metrics for Object-Oriented Systems
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
Denys Poshyvanyk, Andrian Marcus
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
13 years 11 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi