3319 search results - page 593 / 664 » Subshifts, Languages and Logic |
VLDB
2004
ACM
14 years 8 months ago
2004
ACM
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
EWSN
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Exist...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...