Sciweavers

424 search results - page 53 / 85
» Methods for Applying Activity Theory to HCI Design
Sort
View
ICSOC
2010
Springer
14 years 12 months ago
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
IUSED
2008
15 years 3 months ago
Preparing Usability Supporting Architectural Patterns for Industrial Use
Usability supporting architectural patterns (USAPs) have been shown to provide developers with useful guidance for producing a software architecture design that supports usability...
Pia Stoll, Bonnie E. John, Len Bass, Elspeth Golde...
GECCO
2007
Springer
168views Optimization» more  GECCO 2007»
15 years 8 months ago
Stability in the self-organized evolution of networks
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
Thomas Jansen, Madeleine Theile
116
Voted
CAV
2003
Springer
107views Hardware» more  CAV 2003»
15 years 7 months ago
Theorem Proving Using Lazy Proof Explication
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
15 years 7 months ago
Knot planning from observation
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...
Takuma Morita, Jun Takamatsu, Koichi Ogawara, Hiro...