1407 search results - page 222 / 282 » Using Use Cases in Executable Z |
144
click to vote
APN
2001
Springer
15 years 7 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
131
Voted
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
146
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
114
Voted
CASCON
2004
15 years 4 months ago
2004
Java is implemented by 201 bytecodes that serve the same purpose as assembler instructions while providing object-file platform independence. A collection of core bytecodes provid...
130
Voted
JSS
2006
15 years 2 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...