6253 search results - page 1100 / 1251 » Use Case Modeling Guidelines |
170
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
139
Voted
BPM
2007
Springer
15 years 7 months ago
2007
Springer
There is currently a strong focus worldwide on the potential of large-scale Electronic Health Record systems to cut costs and improve patient outcomes through increased efficiency....
150
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
131
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
126
Voted
DAC
2007
ACM
15 years 7 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...