106 search results - page 6 / 22 » Verification of Hybrid Systems via Mathematical Programming |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
![Hydra: a hybrid recommender system [cross-linked rating and content information]](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/hydra_a_hybrid_recommender_system_cross_linked_rating_and_content_information_CIKM_2009.jpg "Hydra: a hybrid recommender system [cross-linked rating and content information]")
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...