Sciweavers

3844 search results - page 553 / 769
» Distributed Meeting Scheduling
Sort
View
125
Voted
CONCUR
1997
Springer
15 years 7 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
124
Voted
ICDCS
2007
IEEE
15 years 7 months ago
Heuristic Approaches to Energy-Efficient Network Design Problem
Energy management remains a critical problem in wireless networks since battery technology cannot keep up with rising communication expectations. Current approaches to energy cons...
Cigdem Sengul, Robin Kravets
135
Voted
COOPIS
2004
IEEE
15 years 7 months ago
Learning Classifiers from Semantically Heterogeneous Data
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
Doina Caragea, Jyotishman Pathak, Vasant Honavar
123
Voted
CW
2004
IEEE
15 years 7 months ago
Modeling of Bodies and Clothes for Virtual Environments
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
Nadia Magnenat-Thalmann, Frederic Cordier, Hyewon ...
126
Voted
CCS
2006
ACM
15 years 7 months ago
Secure attribute-based systems
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
Matthew Pirretti, Patrick Traynor, Patrick McDanie...