3172 search results - page 516 / 635 » Combining Specification Techniques for Processes, Data and T... |
161
click to vote
JPDC
2008
15 years 6 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
179
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...
190
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
147
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
189
click to vote
CGF
2008
15 years 6 months ago
2008
We present a technique for coupling simulated fluid phenomena that interact with real dynamic scenes captured as a binocular video sequence. We first process the binocular video s...