Sciweavers

CISIS
2008
IEEE
13 years 8 months ago
Web Performance and Behavior Ontology
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
Carlos Guerrero, Carlos Juiz, Ramón Puigjan...
C3S2E
2010
ACM
13 years 8 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
AVI
2010
13 years 8 months ago
An architecture and a visual interface for tagging the 3D web
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
Fabio Pittarello
ATAL
2010
Springer
13 years 8 months ago
EMFGormas: a CASE tool for developing service-oriented open MAS
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
Emilia Garcia, Estefania Argente, Adriana Giret
CAISE
2008
Springer
13 years 8 months ago
Computer-Aided Method Engineering: An Analysis of Existing Environments
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
Ali Niknafs, Raman Ramsin
ATAL
2010
Springer
13 years 8 months ago
Eclipse-based Prometheus design tool
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
Hongyuan Sun, John Thangarajah, Lin Padgham
C3S2E
2008
ACM
13 years 8 months ago
Concurrent software engineering: preparing for paradigm shift
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
Peter Grogono, Brian Shearing
ADAEUROPE
2010
Springer
13 years 8 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...
AVI
2008
13 years 8 months ago
Illustrative halos in information visualization
In many interactive scenarios, the fast recognition and localization of crucial information is very important to effectively perform a task. However, in information visualization...
Martin Luboschik, Heidrun Schumann
ADAEUROPE
2010
Springer
13 years 8 months ago
Cache-Aware Development of High-Integrity Systems
Enrico Mezzetti, Adam Betts, José Ruiz, Tul...