8154 search results - page 176 / 1631 » Understanding changes in use cases: A case study |
149
click to vote
CHI
2009
ACM
16 years 7 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...
307
click to vote
POPL
2008
ACM
16 years 7 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...
227
click to vote
WWW
2010
ACM
16 years 2 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...
222
click to vote
AGS
2009
Springer
16 years 1 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...
191
click to vote
ICPP
2008
IEEE
16 years 1 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...