1536 search results - page 217 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
IWINAC
2009
Springer
14 years 2 months ago
2009
Springer
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Distributed hash tables (DHTs) provide efficient data naming and location with simple hash-table-like primitives, upon which sophisticated distributed applications can be buil...
ICTAC
2005
Springer
14 years 1 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
TIDSE
2004
Springer
14 years 1 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
CIA
2003
Springer
14 years 29 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...