Sciweavers

259 search results - page 41 / 52
» Workflow Exception Patterns
Sort
View
ECOOP
2009
Springer
14 years 9 months ago
Remote Batch Invocation for Compositional Object Services
Abstract. Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Fac?ade patterns to create large-granulari...
Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. C...
CHI
2005
ACM
14 years 9 months ago
Design requirements for more flexible structured editors from a study of programmers' text editing
A detailed study of Java programmers' text editing found that the full flexibility of unstructured text was not utilized for the vast majority of programmers' character-...
Andrew Jensen Ko, Htet Htet Aung, Brad A. Myers
ICDCS
2009
IEEE
14 years 3 months ago
Explicit Batching for Distributed Objects
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
Eli Tilevich, William R. Cook, Yang Jiao
SEW
2006
IEEE
14 years 2 months ago
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
Pavel Parizek, Frantisek Plasil, Jan Kofron
ICRA
2005
IEEE
139views Robotics» more  ICRA 2005»
14 years 2 months ago
Attitude Estimation for Dynamic Legged Locomotion Using Range and Inertial Sensors
— Legged robots offer exceptional mobility in uncharted terrains. Their dynamic nature yields unrivaled mobility, but serves to destabilize the motion estimation process that und...
Surya P. N. Singh, Kenneth J. Waldron