2302 search results - page 460 / 461 » Testing as Abstraction |
144
click to vote
LPAR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
130
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. ...
118
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
118
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract The W3C has developed XPath [3] as a query language for XML data. XPath is embedded in many other languages like XQuery and XSLT. The name of XPath derives from its basic ...
144
click to vote
CMC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...