Sciweavers

12052 search results - page 382 / 2411
» computing 2010
Sort
View
196
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
MIDDLEWARE
2010
Springer
15 years 5 months ago
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
Joe Hoffert, Douglas C. Schmidt, Aniruddha S. Gokh...
CLOUDCOM
2010
Springer
15 years 4 months ago
Semantics Centric Solutions for Application and Data Portability in Cloud Computing
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
Ajith Ranabahu, Amit P. Sheth
ASM
2010
ASM
16 years 3 months ago
On an Extensible Rule-Based Prover for Event-B
Issam Maamria, Michael Butler, Andrew Edmunds, Abd...
162
Voted
EWSN
2010
Springer
16 years 1 months ago
Exploiting Overlapping Channels for Minimum Power Configuration in Real-Time Sensor Networks
Xiaodong Wang, Xiaorui Wang, Guoliang Xing, Yanjun...