Sciweavers

968 search results - page 108 / 194
» The Rational Unified Process
Sort
View
MODELS
2007
Springer
16 years 14 days ago
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
Jon Whittle, Praveen K. Jayaraman
ICRA
2006
IEEE
158views Robotics» more  ICRA 2006»
16 years 11 days ago
An Agent-based Mobile Robot System using Configurable SOC Technique
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
Yan Meng
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
15 years 12 months ago
HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis
We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow i...
Dolev Dotan, Ron Y. Pinter
PPPJ
2004
ACM
15 years 11 months ago
Visualization and analysis of phased behavior in Java programs
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
Priya Nagpurkar, Chandra Krintz
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 11 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang