4949 search results - page 707 / 990 » Consistency and Set Intersection |
183
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
152
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we introduce a frame metadata model to facilitate the continuous association rules of web transactions. A new set of association rules can be derived with the updat...
164
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
175
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
149
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
Memory-processor integration o ers new opportunities for reducing the energy of a system. In the case of embedded systems, one solution consists of mapping the most frequently acc...