4350 search results - page 631 / 870 » Case studies for contract-based systems |
152
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
157
Voted
GCB
2007
Springer
16 years 27 days ago
2007
Springer
Biological systems have to react to environmental and/or developmental changes by adjusting their biochemical/cellular machinery on numerous levels. In many cases small molecules ...
184
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
178
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In a traditional keyword-search system in XML data, a user composes a keyword query, submits it to the system, and retrieves relevant subtrees. In the case where the user has limi...
135
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Annotating paper documents with a pen is a familiar and indispensable activity across a wide variety of work and educational settings. Recent developments in pen-based computing p...