Sciweavers

2542 search results - page 41 / 509
» An Operational Definition of Context
Sort
View
109
Voted
ENTCS
2006
142views more  ENTCS 2006»
15 years 16 days ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
109
Voted
SOSP
2003
ACM
15 years 9 months ago
Decentralized user authentication in a global file system
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...
Michael Kaminsky, George Savvides, David Mazi&egra...
121
Voted
JIRS
2000
144views more  JIRS 2000»
15 years 9 days ago
An Integrated Approach of Learning, Planning, and Execution
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
Ramón García-Martínez, Daniel...
87
Voted
CONTEXT
2005
Springer
15 years 6 months ago
Task-Realization Models in Contextual Graphs
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
Patrick Brézillon
ICDCS
1996
IEEE
15 years 4 months ago
Hidden Software Capabilities
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
Daniel Hagimont, Jacques Mossière, Xavier R...