4286 search results - page 484 / 858 » Formalizing Service Interactions |
155
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Despite the dramatic growth of online genomic data, their understanding is still in early stage. To have meaningful interpretation, it requires the integration of various types of ...
162
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
186
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
155
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Signals are a classical tool of cellular automata constructions that proved to be useful for language recognition or firing-squad synchronisation. Particles and collision...
160
click to vote
OWLED
2008
15 years 7 months ago
2008
We describe the architecture of a novel ontology and rule editor ACE View. The goal of ACE View is to simplify viewing and editing expressive and syntactically complex OWL/SWRL kno...