10038 search results - page 429 / 2008 » Model Checking for Managers |
200
click to vote
ECBS
2010
IEEE
16 years 8 days ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
167
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
176
click to vote
EJC
2008
15 years 8 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
176
click to vote
JOT
2008
15 years 7 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
274
click to vote
TODAES
2008
15 years 6 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...