280 search results - page 42 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
FOAL
2008
ACM
15 years 1 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
114
click to vote
ECBS
2003
IEEE
15 years 5 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
113
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
116
click to vote
PVLDB
2008
14 years 10 months ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...