Sciweavers

15860 search results - page 534 / 3172
» On agent-based software engineering
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...
OSS
2009
Springer
16 years 1 months ago
"Peeling the Onion"
Héla Masmoudi, Matthijs den Besten, Claude ...
SLE
2009
Springer
16 years 1 months ago
Natural and Flexible Error Recovery for Generated Parsers
Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L...
UIST
2009
ACM
16 years 1 months ago
Interactions in the air: adding further depth to interactive tabletops
Otmar Hilliges, Shahram Izadi, Andrew D. Wilson, S...