6274 search results - page 701 / 1255 » Proofs, Programs, Processes |
194
click to vote
FASE
1999
Springer
15 years 11 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
165
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
220
click to vote
DEEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
218
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
266
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: MeVisLab is a research and rapid prototyping platform for medical image processing developed by MeVis Medical Solutions AG and Fraunhofer MEVIS. We present an object-oriented app...