1541 search results - page 258 / 309 » Tools and Techniques for Model Checking Networked Programs |
145
Voted
SP
2010
IEEE
14 years 10 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
109
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
116
click to vote
BMCBI
2006
15 years 17 days ago
2006
Background: Expression microarray analysis is one of the most popular molecular diagnostic techniques in the post-genomic era. However, this technique faces the fundamental proble...
119
Voted
TWC
2011
14 years 7 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
103
Voted
PDPTA
2004
15 years 1 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...