Sciweavers

2017 search results - page 213 / 404
» Distributional Semantics in Technicolor
Sort
View
CONCUR
2010
Springer
13 years 10 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
ANSOFT
2002
111views more  ANSOFT 2002»
13 years 9 months ago
Using UML Profiles for Documenting Web-Based Application Frameworks
Abstract. The Web now offers an exceptional infrastructure for the development of distributed collaborative services and applications. However, most of the existing applications on...
Lidia Fuentes, José M. Troya, Antonio Valle...
ERCIMDL
2009
Springer
95views Education» more  ERCIMDL 2009»
14 years 3 months ago
Recollection: Integrating Data through Access
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
Laura E. Campbell
ATAL
2005
Springer
14 years 2 months ago
On the dynamics of delegation, cooperation, and control: a logical account
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
Wiebe van der Hoek, Michael Wooldridge
DISCEX
2003
IEEE
14 years 2 months ago
A Role-based Trust-management Framework
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
Ninghui Li, John C. Mitchell