Sciweavers

6651 search results - page 421 / 1331
» Translating Web Data
Sort
View
130
Voted
BPM
2005
Springer
129views Business» more  BPM 2005»
15 years 11 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
ELPUB
1999
ACM
15 years 10 months ago
Classifying Technical Terms
Automating the process of term recognition and classiæcation is important for digital libraries. Automatic Term Recognition घATRङ has many applications in areas related to di...
Katerina T. Frantzi, Sophia Ananiadou, Jun-ichi Ts...
FOSSACS
2006
Springer
15 years 9 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
150
Voted
USENIX
2007
15 years 8 months ago
Events Can Make Sense
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek
179
Voted
OWLED
2008
15 years 7 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...