2740 search results - page 261 / 548 » A Model-Based Approach To Requirements Analysis |
136
click to vote
IRREGULAR
1995
Springer
15 years 7 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
123
click to vote
SETP
2007
15 years 5 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
122
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We present a simple and practical approach for segmenting un-occluded items in a scene by actively casting shadows. By ’items’, we refer to objects (or part of objects) enclose...
143
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
158
click to vote
ADBIS
2010
Springer
15 years 4 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...