Sciweavers

3199 search results - page 404 / 640
» Variability in Automation System Models
Sort
View
SSPR
2004
Springer
16 years 3 days ago
Understanding Human-Computer Interactions in Map Revision
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...
Jun Zhou, Walter F. Bischof, Terry Caelli
ASPLOS
2011
ACM
14 years 10 months ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
ESAW
2008
Springer
15 years 8 months ago
ADELFE Design, AMAS-ML in Action
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
Sylvain Rougemaille, Jean-Paul Arcangeli, Marie Pi...
GIS
1999
ACM
15 years 11 months ago
Specifying Analysis Patterns for Geographic Databases on the Basis of a Conceptual Framework
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
Jugurta Lisboa Filho, Cirano Iochpe
AIPS
2007
15 years 9 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...