1496 search results - page 187 / 300 » Definability of Initial Segments |
175
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
149
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
178
click to vote
CONEXT
2007
ACM
15 years 7 months ago
2007
ACM
In a bid to extend web browsers capabilities, a new extension that transfers HTTP session between two web browsers also knows as User Agents will be developed. The capabilities of...
160
click to vote
COORDINATION
2008
Springer
15 years 7 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
155
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...