Sciweavers

648 search results - page 82 / 130
» A Proposal for ASM Diagrams
Sort
View
DSVIS
2005
Springer
14 years 2 months ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
ROBOCUP
2005
Springer
158views Robotics» more  ROBOCUP 2005»
14 years 2 months ago
Dynamic Positioning Based on Voronoi Cells (DPVC)
Abstract. In this paper we are proposing an approach for flexible positioning of players in Soccer Simulation in a Multi-Agent environment. We introduce Dynamic Positioning based ...
HesamAddin Dashti, Nima Aghaeepour, Sahar Asadi, M...
UML
2005
Springer
14 years 2 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
GD
2004
Springer
14 years 2 months ago
3D Visualization of Semantic Metadata Models and Ontologies
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
Charalampos Papamanthou, Ioannis G. Tollis, Martin...
COMPSAC
2003
IEEE
14 years 2 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters