Sciweavers

748 search results - page 12 / 150
» Mechanism design for abstract argumentation
Sort
View
CSMR
1998
IEEE
14 years 2 months ago
A Metrics Suite for Concurrent Logic Programs
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
IJCSA
2010
110views more  IJCSA 2010»
13 years 8 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
PDPTA
2007
13 years 11 months ago
Communication with Super Flexible Messaging
Abstract Super Flexible Messaging (SFM) provides a powerful and elegant message passing abstraction for transferring arbitrary data between remote processes. SFM achieves the simpl...
Alexey Fedosov, Gregory Benson
ICRA
2006
IEEE
72views Robotics» more  ICRA 2006»
14 years 3 months ago
A Rapidly Prototyped 2-axis Positioning Stage for Microassembly using Large Displacement Compliant Mechanisms
Abstract— Compliant mechanisms provide an attractive alternative to conventional rigid mechanisms in the design of ultra low-cost precision positioning systems. The desirable per...
Aaron M. Hoover, Srinath Avadhanula, Richard E. Gr...
HASE
1997
IEEE
14 years 2 months ago
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
Mehrdad Hassani, David B. Stewart