6014 search results - page 1034 / 1203 » Structural Testing with Use Cases |
144
Voted
COCOA
2009
Springer
15 years 10 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
134
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
116
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
126
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
135
Voted
SAGT
2009
Springer
15 years 10 months ago
2009
Springer
Congestion games—in which players strategically choose from a set of “resources” and derive utilities that depend on the congestion on each resource— are important in a wid...