Sciweavers

987 search results - page 133 / 198
» Extending FeatuRSEB with Concepts from Systems Engineering
Sort
View
HASKELL
2008
ACM
13 years 10 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
IJRR
2006
75views more  IJRR 2006»
13 years 9 months ago
Force Analysis of Connected Differential Mechanisms: Application to Grasping
In this paper, a methodology is proposed for the analysis of the force capabilities of connected differential mechanisms. These systems are the key elements used to extend the prin...
Lionel Birglen, Clément M. Gosselin
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
14 years 3 months ago
Neither Here nor There: Knowledge Sharing and Transfer with Proactive Structuration
Information technologies hold great promise in their ability to link distributed workers, allowing organizations to take advantage of the potential benefits of effectively gatheri...
Terri L. Griffith, Mark A. Fuller, Gregory B. Nort...
NOMS
2000
IEEE
144views Communications» more  NOMS 2000»
14 years 1 months ago
Managing application services over service provider networks: architecture and dependency analysis
This paper proposes a novel approach for managing IP-based services and applications, reflecting the authors’ experience with the IBM Global Network. It describes how one can e...
Gautam Kar, Alexander Keller, Seraphin B. Calo
COST
1994
Springer
159views Multimedia» more  COST 1994»
14 years 1 months ago
A Mail-Based Teleservice Architecture for Archiving and Retrieving Dynamically Composable Multimedia Documents
In this paper, a teleservice for archiving and retrieving multimedia documents using public networks is described. This teleservice encourages a broad range of commercially applic...
Heiko Thimm, Katja Röhr, Thomas C. Rakow