8030 search results - page 955 / 1606 » User Interface |
182
click to vote
TACAS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
143
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
WeproposeanonconventionalVJperformancesystemrhythmismwhichusesan original maraca based device that has 2 different functions, material maraca and effect maraca. Rhythmism uses the...
210
Voted
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Workflow mechanism is used into grid system to combine multiple grid services to implement complex grid application. But the workflow is not programmable, and is not flexible enoug...
230
Voted
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web services technologies are emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of d...
169
Voted
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Trauma care is an example of dynamic, complex, and safety-critical teamwork. The staff in trauma centers works under time pressure and lacks effective information technologies to ...