3394 search results - page 542 / 679 » Hybrid Application Support for Mobile Information Systems |
124
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
118
click to vote
PADL
2012
Springer
13 years 9 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
107
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
We present a TCM-Grid for Traditional Chinese Medicine (TCM). The purpose of the TCM-Grid is to aid the development of distributed systems that help health professionals, researche...
114
click to vote
MICRO
2006
IEEE
15 years 1 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
122
click to vote
NORDICHI
2004
ACM
15 years 7 months ago
2004
ACM
In speech interfaces users must be aware what can be done with the system – in other words, the system must provide information to help the users to know what to say. We have ad...