Sciweavers

4861 search results - page 673 / 973
» Parsimonious concept modeling
Sort
View
208
Voted
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...
181
Voted
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 1 months 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...
SP
2007
IEEE
113views Security Privacy» more  SP 2007»
16 years 1 months 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 1 months 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...
195
Voted
ATAL
2007
Springer
16 years 1 months 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