Sciweavers

4604 search results - page 636 / 921
» Analysis of Negotiation Dynamics
Sort
View
KBSE
2000
IEEE
15 years 11 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
MICRO
2000
IEEE
137views Hardware» more  MICRO 2000»
15 years 11 months ago
Relational profiling: enabling thread-level parallelism in virtual machines
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
Timothy H. Heil, James E. Smith
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
15 years 11 months ago
Haptic Control of the Master Hand Controller for a Microsurgical Telerobot System
A microsurgical telerobot system has been developed based on the results of the operation task analysis. The telerobot system is composed of a 6-dof parallel micromanipulator atta...
Dong-Soo Kwon, Ki Young Woo, Hyung Suck Cho
AGENTS
1999
Springer
15 years 11 months ago
Shopbot Economics
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
Jeffrey O. Kephart, Amy R. Greenwald