1407 search results - page 175 / 282 » Using Use Cases in Executable Z |
176
click to vote
ICECCS
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
145
click to vote
ISVLSI
2006
IEEE
16 years 10 days ago
2006
IEEE
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
200
click to vote
VEE
2006
ACM
16 years 7 days ago
2006
ACM
We present a just-in-time compiler for a Java VM that is small enough to fit on resource-constrained devices, yet is surprisingly effective. Our system dynamically identifies tr...
142
click to vote
COLCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Multi-way dataflow constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE systems, but satisfying multi-way dataflow cons...
163
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...