Sciweavers

4209 search results - page 244 / 842
» Abstract Dialectical Frameworks
Sort
View
UCS
2004
Springer
15 years 12 months ago
Realizing a Secure Federation of Multi-institutional Service Systems
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
Yu Enokibori, Nobuhiko Nishio
AGENTCL
2003
Springer
15 years 11 months ago
An Empirical Model of Communication in Multiagent Systems
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...
ICSOC
2003
Springer
15 years 11 months ago
Planning and Monitoring the Execution of Web Service Requests
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
HYBRID
2001
Springer
15 years 11 months ago
Hybrid I/O Automata Revisited
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
DSVIS
2000
Springer
15 years 11 months ago
Wisdom - A UML Based Architecture for Interactive Systems
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
Nuno Jardim Nunes, João Falcão e Cun...