1407 search results - page 60 / 282 » Using Use Cases in Executable Z |
116
Voted
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
120
Voted
ISCAPDCS
2003
15 years 4 months ago
2003
Kernel coupling refers to the effect that kernel i has on kernel j in relation to running each kernel in isolation. The two kernels can correspond to adjacent kernels or a chain ...
107
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
With advances in hardware, instruction set architectures are undergoing continual evolution. As a result, compilers are under constant pressure to adapt and take full advantage of...
133
Voted
JIIS
2006
15 years 2 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
147
Voted
IEE
2011
14 years 9 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...