6299 search results - page 154 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
186
click to vote
JISE
2010
15 years 1 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
202
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
205
Voted
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Today, there exist many algorithms and protocols for constructing agregation or dissemination trees for wireless sensor networks that are optimal (for different notions o...
193
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
191
Voted
UPP
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...