9267 search results - page 1684 / 1854 » Expectation-Oriented Analysis and Design |
165
click to vote
WS
2005
ACM
16 years 5 days ago
2005
ACM
Many key pre-distribution techniques have been developed recently to establish pairwise keys for wireless sensor networks. To further improve these schemes, researchers have propo...
204
click to vote
AADEBUG
2005
Springer
16 years 5 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
177
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
168
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
173
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...