Sciweavers

AWPN
2008
274views Algorithms» more  AWPN 2008»
13 years 11 months ago
A Janus-Faced Net Component for the Prototyping of Open Systems
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
Matthias Wester-Ebbinghaus, Daniel Moldt
AWPN
2008
249views Algorithms» more  AWPN 2008»
13 years 11 months ago
Towards Synthesis of Petri Nets from General Partial Languages
In this paper we investigate synthesis of place/transition Petri nets from three different finite representations of infinite partial languages, generalizing previous results.
Robert Lorenz
AWPN
2008
272views Algorithms» more  AWPN 2008»
13 years 11 months ago
Finding Cost-Efficient Adapters
When adapting services in a SOA environment, not only the validity of the adapter may be of importance, but also non-functional properties like the costs of the adapter. We introdu...
Christian Gierds
AWPN
2008
273views Algorithms» more  AWPN 2008»
13 years 11 months ago
An Approach to Tackle Livelock-Freedom in SOA
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
Christian Stahl, Karsten Wolf
AWPN
2008
232views Algorithms» more  AWPN 2008»
13 years 11 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser
ALENEX
2007
126views Algorithms» more  ALENEX 2007»
13 years 11 months ago
0/1 Vertex and Facet Enumeration with BDDs
In polyhedral studies of 0/1 polytopes two prominent problems exist. One is the vertex enumeration problem: Given a system of inequalities, enumerate its feasible 0/1 points. Anot...
Markus Behle, Friedrich Eisenbrand
ALENEX
2007
127views Algorithms» more  ALENEX 2007»
13 years 11 months ago
Intersection in Integer Inverted Indices
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...
Peter Sanders, Frederik Transier
ALENEX
2007
86views Algorithms» more  ALENEX 2007»
13 years 11 months ago
In Transit to Constant Time Shortest-Path Queries in Road Networks
Holger Bast, Stefan Funke, Domagoj Matijevic, Pete...
ALENEX
2007
158views Algorithms» more  ALENEX 2007»
13 years 11 months ago
Faster Filters for Approximate String Matching
We introduce a new filtering method for approximate string matching called the suffix filter. It has some similarity with well-known filtration algorithms, which we call factor...
Juha Kärkkäinen, Joong Chae Na