Sciweavers

3994 search results - page 179 / 799
» A Linear Logical Framework
Sort
View
150
Voted
ATAL
2010
Springer
15 years 7 months ago
An integrated possibilistic framework for goal generation in cognitive agents
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
Célia da Costa Pereira, Andrea Tettamanzi
SP
2006
IEEE
110views Security Privacy» more  SP 2006»
16 years 5 days ago
Privacy and Contextual Integrity: Framework and Applications
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
Adam Barth, Anupam Datta, John C. Mitchell, Helen ...
135
Voted
EURODAC
1994
IEEE
129views VHDL» more  EURODAC 1994»
15 years 10 months ago
A general state graph transformation framework for asynchronous synthesis
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
Bill Lin, Chantal Ykman-Couvreur, Peter Vanbekberg...
AIME
2007
Springer
16 years 10 days ago
A Concept-Based Framework for Retrieving Evidence to Support Emergency Physician Decision Making at the Point of Care
The goal of evidence-based medicine is to uniformly apply evidence gained from scientific research to aspects of clinical practice. In order to achieve this goal, new applications...
Dympna O'Sullivan, Ken Farion, Stan Matwin, Wojtek...
HICSS
2005
IEEE
117views Biometrics» more  HICSS 2005»
15 years 11 months ago
MobCon: A Generative Middleware Framework for Java Mobile Applications
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
Vasian Cepa, Mira Mezini