Sciweavers

2253 search results - page 410 / 451
» The ComFoRT Reasoning Framework
Sort
View
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 2 months ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
ECBS
2006
IEEE
112views Hardware» more  ECBS 2006»
14 years 2 months ago
A Goal-Oriented Approach for Safety Requirements Specification
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
Elena Navarro, Pedro Sánchez, Patricio Lete...
EUROMICRO
2006
IEEE
14 years 2 months ago
Moving Architectural Description from Under the Technology Lamppost
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
Nenad Medvidovic
GLOBECOM
2006
IEEE
14 years 2 months ago
Stackelberg Game for Distributed Resource Allocation over Multiuser Cooperative Communication Networks
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...
Beibei Wang, Zhu Han, K. J. Ray Liu
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
14 years 2 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen