8446 search results - page 1502 / 1690 » A Process Compensation Language |
110
Voted
ROBOCUP
2009
Springer
15 years 10 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
140
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
120
Voted
DOCENG
2009
ACM
15 years 10 months ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...
129
Voted
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
122
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...