Sciweavers

4052 search results - page 286 / 811
» integration 2007
Sort
View
AAI
2006
89views more  AAI 2006»
15 years 6 months ago
Compliance verification of agent interaction: a logic-based software tool
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...
JCHE
2007
81views more  JCHE 2007»
15 years 6 months ago
Supporting Self-Organized Learning with Personal WebPublishing Technologies and Practices
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
Priya Sharma, Sebastian Fiedler
ICONIP
2007
15 years 8 months ago
Analog CMOS Circuits Implementing Neural Segmentation Model Based on Symmetric STDP Learning
We proposed a neural segmentation model that is suitable for implementation in analog VLSIs using conventional CMOS technology. The model consists of neural oscillators mutually co...
Gessyca Maria Tovar, Eric Shun Fukuda, Tetsuya Asa...
BNCOD
2003
139views Database» more  BNCOD 2003»
15 years 8 months ago
An Overview about the DynaQuest Framework
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
Marco Grawunder
FMOODS
2007
15 years 8 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga