2968 search results - page 234 / 594 » Network Programming Using PLAN |
234
click to vote
BIOCOMP
2006
15 years 4 months ago
2006
- In this study, a context-sensitive grammar is suggested to model various forms of RNA secondary structures, especially pseudoknots. Comparing with a conventional context-free gra...
131
click to vote
CASCON
2006
15 years 4 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
130
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
148
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—We present a multi-constrained routing algorithm, called Delay-constrained Pool Sharing (DPS), in a survivable mesh network. The goal of this algorithm is to find a pair of link...
130
click to vote
USS
2008
15 years 5 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...