Sciweavers

4543 search results - page 374 / 909
» Interactive Distributed Configuration
Sort
View
IPPS
1999
IEEE
15 years 9 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
CSCWD
2006
Springer
15 years 8 months ago
WFMS-based Data Integration for e-Learning
As more and more organisations and institutions are moving towards the e-learning strategy, more and more disparate data are distributed by different e-learning systems. How to ef...
Jianming Yong, Jun Yan, Xiaodi Huang
CONCUR
2003
Springer
15 years 10 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
ISWC
1997
IEEE
15 years 9 months ago
Smart Fabric, or "Wearable Clothing"
Wearable computers can now merge seamlessly into ordinary clothing. Using various conductive textiles, data and power distribution as well as sensing circuitry can be incorporated...
Rehmi Post, Maggie Orth
CHI
1996
ACM
15 years 9 months ago
When Using the Tool Interferes with Doing the Task
How much time the user spends working on a task versus fiddling with the tool is an important aspect of usability. The concept of the ratio and distribution of tool-only operation...
Susan S. Kirschenbaum, Wayne D. Gray, Brian D. Ehr...