1407 search results - page 60 / 282 » Using Use Cases in Executable Z |
126
click to vote
HYBRID
2009
Springer
15 years 7 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...
132
Voted
ISCAPDCS
2003
15 years 5 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 ...
123
click to vote
IEEEPACT
2009
IEEE
15 years 10 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...
144
click to vote
JIIS
2006
15 years 3 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...
159
click to vote
IEE
2011
14 years 10 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...