Sciweavers

13791 search results - page 2293 / 2759
» Modeling Web Interactions
Sort
View
ICEIS
2009
IEEE
16 years 1 months ago
Towards Successful Virtual Communities
With the multiplication of communication medium, the increasing multi-partner global organizations, the remote working tendencies, dynamic teams, pervasive or ubiquitous computing ...
Julien Subercaze, Christo El-Morr, Pierre Maret, A...
ICRA
2009
IEEE
303views Robotics» more  ICRA 2009»
16 years 1 months ago
Dynamic stability of variable stiffness running
— Humans and animals adapt their leg impedance during running for both internal(e.g. loading) and external(e.g. surface) changes. In this paper we examine the relationship betwee...
Jae Yun Jun, Jonathan E. Clark
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
IWSOS
2009
Springer
16 years 1 months ago
A Self-organizing Approach to Activity Recognition with Wireless Sensors
Abstract. In this paper, we describe an approach to activity recognition, which is based on a self-organizing, ad hoc network of body-worn sensors. It makes best use of the availab...
Clemens Holzmann, Michael Haslgrübler
AUTONOMICS
2009
ACM
16 years 1 months ago
A Generic Agent Organisation Framework for Autonomic Systems
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
Ramachandra Kota, Nicholas Gibbins, Nicholas R. Je...
« Prev « First page 2293 / 2759 Last » Next »