Sciweavers

4048 search results - page 65 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
FSTTCS
2009
Springer
15 years 7 months ago
Recurrence and Transience for Probabilistic Automata
Mathieu Tracol, Christel Baier, Marcus Grö&sz...
FSTTCS
2009
Springer
15 years 7 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
CSCW
2002
ACM
15 years 11 days ago
Activity Theory and System Design: A View from the Trenches
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
Patricia Collins, Shilpa Shukla, David F. Redmiles
76
Voted
ISPDC
2008
IEEE
15 years 7 months ago
InDiGO: An Infrastructure for Optimization of Distributed Algorithms
ACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY Department of Computing and Information Sciences College of Engineer...
Valeriy Kolesnikov, Gurdip Singh
99
Voted
SEKE
2001
Springer
15 years 5 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto