1411 search results - page 136 / 283 » Case Studies of an Insider Framework |
SNPD
2008
15 years 20 days ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
105
click to vote
JSW
2007
14 years 11 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
ADC
2008
Springer
15 years 5 months ago
2008
Springer
The next-generation of wireless sensor platforms allows for more advanced in-network data processing. The central challenge remains energy and communication efficiency. This paper...
JDA
2006
14 years 11 months ago
2006
Traditionally, on-line problems have been studied under the assumption that there is a unique sequence of requests that must be served. This approach is common to most general mod...