9626 search results - page 1779 / 1926 » Invariant Based Programming |
137
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— In autonomous mobile ad hoc networks (MANET) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or, ho...
101
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
With advances in process technology, soft errors (SE) are becoming an increasingly critical design concern. Due to their large area and high density, caches are worst hit by soft ...
111
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
109
click to vote
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
119
click to vote
BIBE
2005
IEEE
15 years 7 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...