10072 search results - page 1422 / 2015 » Composition of Model Programs |
187
click to vote
ACISP
2003
Springer
15 years 11 months ago
2003
Springer
In some practical circumstances, the ability of a signer should be restricted. In group signature schemes, a group member may be allowed to generate signatures up to a certain numb...
170
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
230
click to vote
AGI
2008
15 years 8 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...
233
click to vote
EON
2008
15 years 8 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
177
click to vote
MKWI
2008
15 years 8 months ago
2008
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...