Sciweavers

511 search results - page 22 / 103
» A Methodology for Extending Focusing Frameworks
Sort
View
LREC
2008
134views Education» more  LREC 2008»
14 years 11 months ago
Evaluating the Ontology underlying sMail - the Conceptual Framework for Semantic Email Communication
The lack of structure in the content of email messages makes it very hard for data channelled between the sender and the recipient to be correctly interpreted and acted upon. As a...
Simon Scerri, Myriam Mencke, Brian Davis, Siegfrie...
JCP
2007
104views more  JCP 2007»
14 years 9 months ago
An Integrated Self-Testing Framework for Autonomic Computing Systems
Abstract— As the technologies of autonomic computing become more prevalent, it is essential to develop methodologies for testing their dynamic self-management operations. Self-ma...
Tariq M. King, Alain E. Ramirez, Rodolfo Cruz, Pet...
62
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
14 years 9 months ago
Fundamental Limits of Wideband Localization - Part I: A General Framework
The availability of positional information is of great importance in many commercial, public safety, and military applications. The coming years will see the emergence of locationa...
Yuan Shen, Moe Z. Win
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 3 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
86
Voted
ICPPW
2002
IEEE
15 years 2 months ago
A Structural Framework for Modeling Multi-Stage Network Attacks
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
Kristopher Daley, Ryan Larson, Jerald Dawkins