8154 search results - page 176 / 1631 » Understanding changes in use cases: A case study |
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Chia-Jung Chan This paper presents a development of our comic generation system that automatically summarizes players' actions and interactions in the virtual world. The featu...
246
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
163
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
165
click to vote
AGS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
138
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
Parallel I/O plays an increasingly important role in today’s data intensive computing applications. While much attention has been paid to parallel read performance, most of this...