2766 search results - page 175 / 554 » Hybridizing a Logical Framework |
166
click to vote
EDCC
2006
Springer
15 years 8 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
125
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
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...
143
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
117
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
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...
124
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
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...