Sciweavers

72 search results - page 15 / 15
» Exception Analysis in Service-Oriented Architecture
Sort
View
POPL
2000
ACM
15 years 10 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
BMCBI
2005
98views more  BMCBI 2005»
15 years 6 months ago
DCD - a novel plant specific domain in proteins involved in development and programmed cell death
Background: Recognition of microbial pathogens by plants triggers the hypersensitive reaction, a common form of programmed cell death in plants. These dying cells generate signals...
Raimund Tenhaken, Tobias Doerks, Peer Bork