5267 search results - page 758 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
210
click to vote
HT
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
304
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
A large number of online databases are hidden behind the web. Users to these systems can form queries through web forms to retrieve a small sample of the database. Sampling such h...
203
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
161
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Piyoosh Mukhija IIIT Hyderabad Rahul Sawhney IIIT Hyderabad K Madhava Krishna IIIT Hyderabad We present an algorithm for multi robotic exploration of an unknown terrai...
178
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...