Sciweavers

4508 search results - page 599 / 902
» Design of human-map system interaction
Sort
View
ATAL
2003
Springer
15 years 10 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 8 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
ECSCW
2001
15 years 8 months ago
Spaces of practice
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
Monika Büscher, Preben Mogensen, Dan Shapiro
DLOG
1997
15 years 8 months ago
Inspecting Concepts Graphically with Zoomable Lenses
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
Gary Ng, Carole A. Goble, Adrian West
INFSOF
2007
81views more  INFSOF 2007»
15 years 6 months ago
An infrastructure to support interoperability in reverse engineering
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
Nicholas A. Kraft, Brian A. Malloy, James F. Power