21324 search results - page 480 / 4265 » Making the case for computing |
195
click to vote
ICFEM
2005
Springer
16 years 17 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
176
click to vote
WEBI
2005
Springer
16 years 16 days ago
2005
Springer
We propose a collaborative environment for semanticenabled mobile devices (e.g. PDAs, cell phones, laptops) in peer to peer scenarios. Within the environment, resource discovery i...
201
Voted
SBCCI
2004
ACM
16 years 14 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
204
click to vote
ALGOSENSORS
2004
Springer
16 years 14 days ago
2004
Springer
Determining the positions of the sensor nodes in a network is essential to many network functionalities such as routing, coverage and tracking, and event detection. The localizatio...
176
click to vote
INFOCOM
2003
IEEE
16 years 10 days ago
2003
IEEE
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...