Sciweavers

2810 search results - page 245 / 562
» Contract-Based Component System Design
Sort
View
116
Voted
CSCW
2000
ACM
15 years 8 months ago
Data management support for asynchronous groupware
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
Nuno M. Preguiça, José Legatheaux Ma...
124
Voted
ISORC
1998
IEEE
15 years 7 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
ACL
1998
15 years 5 months ago
An Efficient Kernel for Multilingual Generation in Speech-to-Speech Dialogue Translation
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
Tilman Becker, Wolfgang Finkler, Anne Kilger, Pete...
130
Voted
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
15 years 2 months ago
Fluidic manipulation for scalable stochastic 3D assembly of modular robots
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
Michael Thomas Tolley, Hod Lipson
134
Voted
JCP
2008
116views more  JCP 2008»
15 years 3 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...