7209 search results - page 866 / 1442 » Software Engineering for Multi-Agent Systems |
110
Voted
UIST
1993
ACM
15 years 9 months ago
1993
ACM
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...
127
click to vote
ASWEC
2007
IEEE
15 years 9 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
130
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
137
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
142
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...