Sciweavers

6881 search results - page 183 / 1377
» Motivation
Sort
View
167
Voted
BPM
2006
Springer
116views Business» more  BPM 2006»
15 years 8 months ago
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
Gero Decker, Frank Puhlmann, Mathias Weske
175
Voted
ECLIPSE
2005
ACM
15 years 8 months ago
Incomplete resolution of references in Eclipse
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...
Joseph J. C. Chang, Robert J. Walker
CONEXT
2008
ACM
15 years 8 months ago
Nonlinear modeling of the internet delay structure
Modeling the Internet delay structure is an important issue in designing large-scale distributed systems. However, linear models fail to characterize Triangle Inequality Violation...
Xiao Wang, Yang Chen, Beixing Deng, Xing Li
DEON
2008
Springer
15 years 7 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
ECOOP
2008
Springer
15 years 7 months ago
Modeling Context-Dependent Aspect Interference Using Default Logics
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
Frans Sanen, Eddy Truyen, Wouter Joosen