6253 search results - page 534 / 1251 » Use Case Modeling Guidelines |
171
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
183
click to vote
VRML
2009
ACM
16 years 1 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
188
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...
200
click to vote
MOMPES
2007
IEEE
16 years 1 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
174
click to vote
AIME
2005
Springer
16 years 18 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...