9227 search results - page 242 / 1846 » Developing Use Cases from Organizational Modeling |
214
click to vote
DKE
2011
15 years 1 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
168
click to vote
EMISA
2007
Springer
16 years 20 days ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
150
click to vote
SCS
2004
15 years 7 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
202
click to vote
TSE
1998
15 years 6 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
146
click to vote
FMCAD
2007
Springer
16 years 20 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...