12052 search results - page 335 / 2411 » computing 2010 |
178
click to vote
ACMIDC
2010
15 years 10 months ago
2010
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
175
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
168
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
139
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
198
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...