Sciweavers

11063 search results - page 79 / 2213
» On the existence of universal models
Sort
View
IFIP
1998
Springer
14 years 2 months ago
Scheduling in a Multi-Agent Environment
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
M. Schmotzer, Jan Paralic, Julius Csontó
PLILP
1998
Springer
14 years 2 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
ICALP
2007
Springer
14 years 4 months ago
Deterministic History-Independent Strategies for Storing Information on Write-Once Memories
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
Tal Moran, Moni Naor, Gil Segev
CCE
2004
13 years 10 months ago
Workflow and information centered support of design processes - the IMPROVE perspective
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
Wolfgang Marquardt, Manfred Nagl
ICALP
2007
Springer
14 years 4 months ago
Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
Paul Beame, Matei David, Toniann Pitassi, Philipp ...