Sciweavers

454 search results - page 74 / 91
» Semantics of Agent Communication Languages for Group Interac...
Sort
View
NAACL
1994
13 years 8 months ago
Session 10: Government Panel
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
Oscar N. Garcia
MIS
2005
Springer
152views Multimedia» more  MIS 2005»
14 years 1 months ago
Intelligent Delivery of Multimedia Content in a Device Aware Ubiquitous Environment
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
Conor Muldoon, Gregory M. P. O'Hare, Rem W. Collie...
POPL
2000
ACM
13 years 11 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
CORR
2007
Springer
177views Education» more  CORR 2007»
13 years 7 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
FGCS
2002
153views more  FGCS 2002»
13 years 7 months ago
HARNESS fault tolerant MPI design, usage and performance issues
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
Graham E. Fagg, Jack Dongarra