1784 search results - page 295 / 357 » Formal Models for Embedded System Design |
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
106
click to vote
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
BMCBI
2008
14 years 10 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...