Sciweavers

4861 search results - page 673 / 973
» Parsimonious concept modeling
Sort
View
CSFW
2007
IEEE
16 years 1 months ago
Privacy and Utility in Business Processes
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...
Adam Barth, John C. Mitchell, Anupam Datta, Sharad...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 29 days ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
182
Voted
SP
2007
IEEE
113views Security Privacy» more  SP 2007»
16 years 29 days ago
Usable Mandatory Integrity Protection for Operating Systems
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
Ninghui Li, Ziqing Mao, Hong Chen
ROBOCOMM
2007
IEEE
16 years 27 days ago
A generic multi-robot coordination strategic layer
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
João Certo, Nuno Lau, Luís Paulo Rei...
ATAL
2007
Springer
16 years 26 days ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao