1064 search results - page 199 / 213 » Single Tree Grammars |
135
Voted
DNA
2009
Springer
15 years 12 months ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
192
click to vote
HASKELL
2009
ACM
15 years 12 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
206
Voted
SACMAT
2009
ACM
15 years 12 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
158
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Distributed Denial-of-Service (DDoS) attacks have emerged as a popular means of causing mass targeted service disruptions, often for extended periods of time. The relative ease an...
184
Voted
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Adapting to the network is the key to achieving high performance for communication-intensive applications, including scientific computing, data intensive computing, and multicast...