2404 search results - page 336 / 481 » Postmodernism and Control Engineering |
110
click to vote
IHM
2004
ACM
15 years 10 months ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
139
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
118
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
136
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
114
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...