2651 search results - page 495 / 531 » Experiences with the Use of a Configuration Language |
HUC
2010
Springer
13 years 10 months ago
2010
Springer
Today's mobile phones represent a rich and powerful computing platform, given their sensing, processing and communication capabilities. Phones are also part of the everyday l...
ASE
2005
13 years 9 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
BMCBI
2005
13 years 8 months ago
2005
Background: In the context of the BioCreative competition, where training data were very sparse, we investigated two complementary tasks: 1) given a Swiss-Prot triplet, containing...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...