1024 search results - page 32 / 205 » Compositional Methods for Probabilistic Systems |
156
click to vote
IHIS
2005
ACM
15 years 6 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
101
click to vote
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
128
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
117
click to vote
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
100
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...