Sciweavers

10995 search results - page 1974 / 2199
» Distributed Learning Environments
Sort
View
AEI
2010
115views more  AEI 2010»
15 years 6 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
COMCOM
2010
133views more  COMCOM 2010»
15 years 6 months ago
Supporting mobility in an IMS-based P2P IPTV service: A proactive context transfer mechanism
In recent years, IPTV has received an increasing amount of interest from the industry, commercial providers and the research community, alike. In this context, standardization bod...
Iván Vidal, Jaime García-Reinoso, An...
CONCURRENCY
2008
142views more  CONCURRENCY 2008»
15 years 6 months ago
Provenance trails in the Wings/Pegasus system
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
Jihie Kim, Ewa Deelman, Yolanda Gil, Gaurang Mehta...
CORR
2008
Springer
156views Education» more  CORR 2008»
15 years 6 months ago
Wireless Sensor/Actuator Network Design for Mobile Control Applications
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
Feng Xia, Yu-Chu Tian, Yanjun Li, Youxian Sun
« Prev « First page 1974 / 2199 Last » Next »