22698 search results - page 4129 / 4540 » Modeling in Software Engineering |
128
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...
154
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
140
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
154
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
During data warehouse design, the designer frequently encounters the problem of choosing among different alternatives for the same design construct. The behavior of the chosen desi...
151
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...