6253 search results - page 587 / 1251 » Use Case Modeling Guidelines |
173
click to vote
ICSE
1995
IEEE-ACM
15 years 11 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
191
click to vote
WSC
2004
15 years 8 months ago
2004
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...
192
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
193
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
191
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...