Sciweavers

3121 search results - page 369 / 625
» Information Survivability Control Systems
Sort
View
PET
2004
Springer
15 years 12 months ago
Language-Based Enforcement of Privacy Policies
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
Katia Hayati, Martín Abadi
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 10 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner
AIIDE
2007
15 years 9 months ago
SORTS: A Human-Level Approach to Real-Time Strategy AI
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
Samuel Wintermute, Joseph Xu, John E. Laird
IADIS
2004
15 years 8 months ago
Collaborative Task Scheduling Method Based on Social Network Analysis for Cellphone Application
This paper proposes a collaborative approach for personal task management which is modeled as an alliance model. Alliance model is based on information sharing and collaboration o...
Ikki Ohmukai, Hideaki Takeda
CCE
2006
15 years 6 months ago
Sensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serb...