3104 search results - page 158 / 621 » Using quantitative analysis to implement autonomic IT system... |
147
click to vote
EUROIMSA
2006
15 years 5 months ago
2006
Sports analysis has recently become popular in research and professional applications. This paper presents a scheme for automatic sports video analysis based on audio clues and sp...
140
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...
147
Voted
JSS
2007
15 years 3 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
153
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
148
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...