Sciweavers

15860 search results - page 84 / 3172
» On agent-based software engineering
Sort
View
FASE
2009
Springer
16 years 29 days ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
ICSE
2009
IEEE-ACM
16 years 29 days ago
The marketplace of user interface real estate
Luigi Troiano, Gerardo Canfora
ICSE
2009
IEEE-ACM
16 years 29 days ago
Detecting inefficient API usage
David Kawrykow, Martin P. Robillard
VMCAI
2009
Springer
16 years 29 days ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...