3166 search results - page 533 / 634 » Translation By Structural Correspondences |
103
Voted
JOT
2008
15 years 20 days ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
94
Voted
DM
2007
15 years 20 days ago
2007
In this paper we study the cycle base structures of embedded graphs on surfaces. We first give a sufficient and necessary condition for a set of facial cycles to be contained in ...
79
Voted
ENTCS
2007
15 years 20 days ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
95
Voted
ENTCS
2007
15 years 20 days ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
JSC
2006
15 years 20 days ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...