Sciweavers

3103 search results - page 151 / 621
» Managing Concern Interfaces
Sort
View
AGENTS
1999
Springer
14 years 1 months ago
Agent Development with Jackal
Jackal is a Java-based tool for communicatingwith the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ma...
R. Scott Cost, Timothy W. Finin, Yannis Labrou, Xi...
CHI
1993
ACM
14 years 1 months ago
Sifting through hierarchical information
Modern computer users must often sift and manage vast amounts of hierarchically structured information. However, conventional interface tools have not kept pace with the informati...
Doug Schaffer, Saul Greenberg
SIGMETRICS
1998
ACM
170views Hardware» more  SIGMETRICS 1998»
13 years 8 months ago
Better operating system features for faster network servers
Widely-used operating systems provide inadequate support for large-scale Internet server applications. Their algorithms and interfaces fail to e ciently support either event-drive...
Gaurav Banga, Peter Druschel, Jeffrey C. Mogul
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 3 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 3 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta