8154 search results - page 1288 / 1631 » Understanding changes in use cases: A case study |
185
click to vote
ISLPED
2005
ACM
16 years 10 days ago
2005
ACM
Concerns about the reliability of real-time embedded systems that employ dynamic voltage scaling has recently been highlighted [1,2,3], focusing on transient-fault-tolerance techn...
165
click to vote
ITICSE
2005
ACM
16 years 10 days ago
2005
ACM
Recent research has shown that a student’s learning style – essentially, the way a student approaches and masters new material – can affect student performance in introducto...
158
click to vote
ITICSE
2005
ACM
16 years 10 days ago
2005
ACM
There are an increasing number of books published on the important topics of “object-oriented programming” and “object-oriented design” for use in education. However, obje...
184
click to vote
SIGECOM
2005
ACM
16 years 10 days ago
2005
ACM
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
177
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...