Sciweavers

2850 search results - page 471 / 570
» On Timed Models and Full Abstraction
Sort
View
81
Voted
ASSETS
2000
ACM
15 years 5 months ago
Neck range of motion and use of computer head controls
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...
Edmund F. LoPresti, David M. Brienza, Jennifer Ang...
102
Voted
SC
2000
ACM
15 years 5 months ago
Expressing and Enforcing Distributed Resource Sharing Agreements
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
Tao Zhao, Vijay Karamcheti
103
Voted
POPL
1999
ACM
15 years 5 months ago
Type-Safe Linking and Modular Assembly Language
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
Neal Glew, J. Gregory Morrisett
BPM
2009
Springer
126views Business» more  BPM 2009»
15 years 4 months ago
Micro Workflow Gestural Analysis: Representation in Social Business Processes
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
Ben Jennings, Anthony Finkelstein
ECAL
2007
Springer
15 years 4 months ago
Genotype Reuse More Important than Genotype Size in Evolvability of Embodied Neural Networks
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
Chad W. Seys, Randall D. Beer