3330 search results - page 447 / 666 » software 2010 |
142
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. There are insufficient examples available of how customization is realized in multi-tenant web applications, whereas developers are looking for examples and patterns as ...
136
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
The pervasiveness of multiprocessor and multicore hardware and the rising level of available parallelism are radically changing the computing landscape. Can software deal with tom...
121
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
197
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...
124
click to vote
ICCHP
2010
Springer
15 years 9 months ago
2010
Springer
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...