2935 search results - page 365 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
182
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics have been developed aiming to ...
180
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
181
click to vote
CBMS
2006
IEEE
16 years 16 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
142
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...