Sciweavers

15860 search results - page 330 / 3172
» On agent-based software engineering
Sort
View
135
Voted
ICESS
2007
Springer
15 years 11 months ago
Energy-Efficient Medium Access Control for Wireless Sensor Networks
Po-Jen Chuang, Chih-Shin Lin
VLSI
2007
Springer
15 years 11 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
120
Voted
XPU
2007
Springer
15 years 11 months ago
EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors
Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...
ASWEC
2006
IEEE
15 years 11 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...