11561 search results - page 2025 / 2313 » A Language for Biochemical Systems |
181
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
328
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
308
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
283
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
339
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...