Sciweavers

7106 search results - page 181 / 1422
» Restricted Complexity, General Complexity
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Strategy exploration in empirical games
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
Patrick R. Jordan, L. Julian Schvartzman, Michael ...
VSTTE
2005
Springer
16 years 15 hour ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
SACMAT
2004
ACM
15 years 12 months ago
Role-based access control in ambient and remote space
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
Horst Wedde, Mario Lischka
DOA
2000
75views more  DOA 2000»
15 years 8 months ago
A Distributed-Object Infrastructure for Corporate Websites
A corporate website is the virtual representation of a corporation or organization on the Internet. Corporate websites face numerous problems due to their large size and complexit...
Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk...
JOLLI
2006
76views more  JOLLI 2006»
15 years 6 months ago
A Modal Interpretation of the Logic of Interrogation
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
Rani Nelken, Chung-chieh Shan