2777 search results - page 385 / 556 » Example centric programming |
145
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
143
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
131
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
138
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
177
Voted
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...