1573 search results - page 194 / 315 » Signs and Formal Concepts |
102
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
HOLOMAS
2007
Springer
15 years 8 months ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...
108
Voted
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
PROMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
WINE
2007
Springer
15 years 8 months ago
2007
Springer
We observe that ranking systems—a theoretical framework for web page ranking and collaborative filtering introduced by Altman and Tennenholtz—and tournament solutions—a well...