Sciweavers

15777 search results - page 2443 / 3156
» Software Engineering
Sort
View
IPSN
2007
Springer
16 years 1 months ago
Interface contracts for TinyOS
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
Will Archer, Philip Levis, John Regehr
ISSTA
2004
ACM
16 years 21 days ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
KI
2006
Springer
15 years 7 months ago
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
Christoph Benzmüller, Helmut Horacek, Ivana K...
ACMIDC
2010
15 years 9 months ago
A collaborative approach to the design and evaluation of an interactive learning tool for children with special educational need
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
Beatriz López-Mencía, David Dí...
213
Voted
JSS
2006
153views more  JSS 2006»
15 years 7 months ago
Towards the automatic generation of mobile agents for distributed intrusion detection system
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Gu...
« Prev « First page 2443 / 3156 Last » Next »