Sciweavers

2663 search results - page 431 / 533
» How to Choose a Timing Model
Sort
View
LOGCOM
2007
115views more  LOGCOM 2007»
13 years 8 months ago
The Dynamics of Syntactic Knowledge
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
Thomas Ågotnes, Natasha Alechina
SIGMOD
2002
ACM
127views Database» more  SIGMOD 2002»
13 years 8 months ago
Workflow management with service quality guarantees
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
Michael Gillmann, Gerhard Weikum, Wolfgang Wonner
ACSAC
2010
IEEE
13 years 7 months ago
Quantifying information leaks in software
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
Jonathan Heusser, Pasquale Malacaria
DSL
2009
13 years 6 months ago
Varying Domain Representations in Hagl
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
Eric Walkingshaw, Martin Erwig
MTA
2011
254views Hardware» more  MTA 2011»
13 years 3 months ago
Automatic prediction of perceptual quality of multimedia signals - a survey
We survey recent developments in multimedia signal quality assessment, including image, audio, video, and combined signals. Such an overview is timely given the recent explosion in...
Kalpana Seshadrinathan, Alan Conrad Bovik