9325 search results - page 1846 / 1865 » The decentralized implementability problem |
134
Voted
ICTAC
2010
Springer
15 years 16 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
140
Voted
ICTAI
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
131
Voted
ICTAI
2010
IEEE
15 years 16 days ago
2010
IEEE
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
145
Voted
IEEEARES
2010
IEEE
15 years 16 days ago
2010
IEEE
Online auctions of governmental bonds and CO2 certificates are challenged by high availability requirements in face of high peak loads around the auction deadline. Traditionally, t...
103
Voted
IGARSS
2010
15 years 16 days ago
2010
The Level 1 Processing of SMOS transforms the data acquired by MIRAS (Microwave Imaging Radiometer with Aperture Synthesis) into geolocated TOA Brightness Temperatures, providing ...