Sciweavers

7112 search results - page 381 / 1423
» Power in normative systems
Sort
View
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 6 months ago
Computer algebra in systems biology
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
Reinhard C. Laubenbacher, Bernd Sturmfels
ICDE
2002
IEEE
232views Database» more  ICDE 2002»
16 years 8 months ago
DBXplorer: A System for Keyword-Based Search over Relational Databases
Internet search engines have popularized the keywordbased search paradigm. While traditional database management systems offer powerful query languages, they do not allow keyword-...
Sanjay Agrawal, Surajit Chaudhuri, Gautam Das
LICS
2009
IEEE
16 years 1 months ago
Dinatural Terms in System F
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
Joachim De Lataillade
IPTPS
2005
Springer
16 years 8 days ago
A Self-repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn
We present a dynamic distributed hash table where peers may join and leave at any time. Our system tolerates a powerful adversary which has complete visibility of the entire state ...
Fabian Kuhn, Stefan Schmid, Roger Wattenhofer
GCC
2004
Springer
16 years 4 days ago
Research on an MOM-Based Service Flow Management System
Abstract. Workflow is an important approach for the specification and management of complex processing tasks. This approach is especially powerful for utilizing distributed service...
Pingpeng Yuan, Hai Jin, Li Qi, Shicai Li