Sciweavers

2753 search results - page 16 / 551
» An architecture model for supporting application integration...
Sort
View
SELMAS
2004
Springer
15 years 3 months ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
JAR
2006
103views more  JAR 2006»
14 years 9 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
CEEMAS
2007
Springer
15 years 3 months ago
An Architecture and Framework for Agent-Based Web Applications
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
Alexander Pokahr, Lars Braubach
ODRL
2004
14 years 11 months ago
A Pervasive Application Rights Management Architecture (PARMA) based on ODRL
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
Dominik Dahlem, Ivana Dusparic, Jim Dowling
75
Voted
WIIW
2001
116views more  WIIW 2001»
14 years 11 months ago
Digital Library Services Supporting Information Integration over the Web
Our research and development activities in digital libraries raised relevant features in supporting Web information integration. Underlain by an in house multi-agent based architec...
Tarcisio Lima, Amit P. Sheth, Naveen Ashish, Mukes...