Sciweavers

2357 search results - page 321 / 472
» Computing Refactorings of Behavior Models
Sort
View
DSN
2007
IEEE
15 years 9 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
DSN
2005
IEEE
15 years 9 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
IPPS
2005
IEEE
15 years 9 months ago
Using Performance Counters for Runtime Temperature Sensing in High-Performance Processors
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
Kyeong-Jae Lee, Kevin Skadron
NPC
2004
Springer
15 years 8 months ago
LEAPS: A Location Estimation and Action Prediction System in a Wireless LAN Environment
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
Qiang Yang, Yiqiang Chen, Jie Yin, Xiaoyong Chai
SPIN
2004
Springer
15 years 8 months ago
Translation from Adapted UML to Promela for CORBA-Based Applications
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
Jessica Chen, Hanmei Cui