3342 search results - page 575 / 669 » Automating Abstract Interpretation |
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract In this paper, we propose the use of a distributed service management architecture for state-of-the-art service-enabled Grids. The architecture is capable of performing au...
CIBCB
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract-Post-translational protein modifications play an important role in many protein pathways and interactions. It has been hypothesized that modifications to proteins occur in...
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...