1683 search results - page 214 / 337 » Testing system virtual machines |
142
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...
138
Voted
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
123
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Harness metacomputing framework is a reliable and flexible environment for distributed computing. A shortcoming of the system is that services are dependent on a nam...
139
Voted
POS
1998
Springer
15 years 9 months ago
1998
Springer
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
183
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...