Sciweavers

1042 search results - page 109 / 209
» Integrative Architecture Elicitation for Large Computer Base...
Sort
View
121
Voted
WWW
2002
ACM
16 years 4 months ago
A web-based resource migration protocol using WebDAV
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...
Michael P. Evans, Steven Furnell
CGI
2000
IEEE
15 years 8 months ago
Fast and Stable Animation of Cloth with an Approximated Implicit Method
Realistic animation of soft objects such as cloth is essential for plausible character animation. Many techniques have been proposed for the simulation of soft objects, and most o...
Young-Min Kang, Jeong-Hyeon Choi, Hwan-Gue Cho, Ch...
109
Voted
IPSN
2005
Springer
15 years 9 months ago
Networked infomechanical systems: a mobile embedded networked sensor platform
— Networked Infomechanical Systems (NIMS) introduces a new actuation capability for embedded networked sensing. By exploiting a constrained actuation method based on rapidly depl...
Richard Pon, Maxim A. Batalin, Jason Gordon, Aman ...
SENSYS
2004
ACM
15 years 9 months ago
Sensor network-based countersniper system
An ad-hoc wireless sensor network-based system is presented that detects and accurately locates shooters even in urban environments. The system consists of a large number of cheap...
Gyula Simon, Miklós Maróti, Á...
139
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 3 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng