883 search results - page 74 / 177 » The RETOS operating system: kernel, tools and applications |
108
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...
PACT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
AFRIGRAPH
2004
ACM
15 years 3 months ago
2004
ACM
– Application services are fundamental network components that allow organizations the ability to operate efficiently. It has become essential for organizations to monitor the pe...
ULPAA
1994
14 years 11 months ago
1994
Next generation communication systems must support diverse applications operating over high-performance local, metropolitan, and wide area networks. This paper describes a framewo...