2813 search results - page 133 / 563 » Formalizing Architectural Connection |
140
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
139
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
126
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
151
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
141
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. ...