Sciweavers

846 search results - page 29 / 170
» Integrating Use-Case Analysis and Task Analysis for Interact...
Sort
View
MBEES
2007
13 years 10 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
AGP
1995
IEEE
14 years 12 days ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara
SCP
1998
138views more  SCP 1998»
13 years 8 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
CHI
2003
ACM
14 years 9 months ago
The impact of automated assistance on the information retrieval process
Advanced information retrieval systems providing automated assistance offer the opportunity to greatly enhance the effectiveness of the information retrieval process. One issue in...
Bernard J. Jansen, George K. Kroner
WSC
2000
13 years 10 months ago
Hybrid-system simulation for National Airspace System safety analysis
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
Amy R. Pritchett, Seungman Lee, David Huang, David...