533 search results - page 54 / 107 » Protocol synthesis from timed and structured specifications |
125
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Prostaglandin H2 (PGH2) is a common precursor for the synthesis of five different Prostanoids via specific Prostanoid Synthases. The binding of this substrate with the...
111
click to vote
AAAI
2000
15 years 2 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
132
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
112
click to vote
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...