27274 search results - page 319 / 5455 » A framework for framework documentation |
173
click to vote
IWCMC
2006
ACM
16 years 17 days ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
208
click to vote
BROADNETS
2005
IEEE
16 years 7 days ago
2005
IEEE
— Lightweight protocols that are both bandwidth and power thrifty are desirable for sensor networks. In addition, for many sensor network applications, timeliness of data deliver...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
191
click to vote
ISI
2005
Springer
16 years 4 days ago
2005
Springer
To balance demand and supply of information, we propose a framework called “information supply chain” (ISC). This framework is based on supply chain management (SCM), which has...
202
click to vote
BIRTHDAY
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...