Sciweavers

15794 search results - page 336 / 3159
» Agent-Oriented Software Engineering
Sort
View
144
Voted
EMSOFT
2009
Springer
16 years 2 months ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
169
Voted
SERA
2009
Springer
16 years 2 months ago
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study
Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulai...
157
Voted
ESEM
2009
ACM
16 years 2 months ago
Tool supported detection and judgment of nonconformance in process execution
Nico Zazworka, Victor R. Basili, Forrest Shull
INDIASE
2009
ACM
16 years 2 months ago
Event strictness for components with complex bindings
Fabrício Fernandes, Robin Passama, Jean-Cla...
ISSTA
2009
ACM
16 years 2 months ago
Testing CPU emulators
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fre...