4820 search results - page 744 / 964 » Implementing Signatures for C |
176
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
172
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Localization is a fundamental issue of wireless sensor networks that has been extensively studied in the literature. The real-world experience from GreenOrbs, a sensor network sys...
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
166
click to vote
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
228
click to vote
BSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Clinicians have determined that continuous ambulatory monitoring provides significant preventative and diagnostic benefit, especially to the aged population. In this paper we descr...