15792 search results - page 2981 / 3159 » Computational Abstraction Steps |
112
Voted
ESCIENCE
2005
IEEE
15 years 6 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
112
click to vote
WIOPT
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
99
Voted
MOBICOM
2005
ACM
15 years 6 months ago
2005
ACM
One of the challenging tasks in the deployment of dense wireless networks (like sensor networks) is in devising a routing scheme for node to node communication. Important consider...
100
click to vote
STORAGESS
2005
ACM
15 years 6 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
100
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...