Sciweavers

15885 search results - page 367 / 3177
» The Modest Software Engineer
Sort
View
ECSA
2007
Springer
15 years 6 months ago
A Distributed Staged Architecture for Multimodal Applications
Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...
EMSOFT
2008
Springer
15 years 6 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
101
Voted
EMSOFT
2008
Springer
15 years 6 months ago
Cyclic dependencies in modular performance analysis
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...
133
Voted
FASE
2008
Springer
15 years 6 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...