4737 search results - page 715 / 948 » The LOGIC negotiation model |
172
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
197
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel architecture for domain-specific FPGA devices. This architecture can be optimised for both speed and density by exploiting domain-specific informatio...
190
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
178
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
206
click to vote
SP
2006
IEEE
16 years 1 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...