Sciweavers

1284 search results - page 179 / 257
» On Helping and Interactive Proof Systems
Sort
View
ETRICS
2006
14 years 1 months ago
Optimized Workflow Authorization in Service Oriented Architectures
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemp...
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
14 years 1 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
FLAIRS
2004
13 years 11 months ago
Experience-Based Resource Description and Selection in Multiagent Information Retrieval
In this paper, we propose an agent-centric approach to resource description and selection in a multiagent information retrieval (IR). In the multiagent system, each agent learns f...
Leen-Kiat Soh
IJVR
2008
158views more  IJVR 2008»
13 years 10 months ago
How and Why Affordable Virtual Reality Shapes the Future of Education
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...
Barnabas Takacs
AAMAS
2004
Springer
13 years 10 months ago
Tropos: An Agent-Oriented Software Development Methodology
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...