4480 search results - page 161 / 896 » Prototyping Completion with Constraints Using Computational ... |
135
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
224
click to vote
ALP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
196
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
173
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Data Broadcast in mobile environments has received much attention in recent years and a large number of algorithms proposed. However, existing work in the literature only assume a ...
172
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Users of distributed systems such as the TeraGrid and Open Science Grid can execute their applications on many different systems. We wish to help such users, or the grid scheduler...