2766 search results - page 321 / 554 » Hybridizing a Logical Framework |
174
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
190
click to vote
TRUSTBUS
2007
Springer
16 years 23 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
165
click to vote
IFM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
192
click to vote
SIGMOD
2004
ACM
16 years 2 days ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
201
click to vote
COMMA
2010
15 years 1 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...