4917 search results - page 586 / 984 » Software Engineering is Not Computer Science |
201
click to vote
ACMSE
2006
ACM
16 years 15 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
169
click to vote
CSCW
2006
ACM
16 years 15 days ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
214
click to vote
ACSC
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper discusses the effect of context on mobile usability, proposes an expanded model of mobile application context, and conducts an empirical study to test a number of hypot...
156
click to vote
SPIN
2005
Springer
16 years 11 hour ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
158
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...