Sciweavers

1419 search results - page 116 / 284
» Notes on Formalizing Context
Sort
View
94
Voted
ER
2005
Springer
126views Database» more  ER 2005»
15 years 6 months ago
Managing Information Quality in e-Science: A Case Study in Proteomics
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
Paolo Missier, Alun D. Preece, Suzanne M. Embury, ...
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 6 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
83
Voted
AIMSA
2004
Springer
15 years 6 months ago
Adoption of the Classical Theory of Definition to Ontology Modeling
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
Patryk Burek
FAABS
2004
Springer
15 years 6 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
101
Voted
FASE
2004
Springer
15 years 6 months ago
Compositional Nested Long Running Transactions
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
Laura Bocchi