2339 search results - page 333 / 468 » Models and Tools for Mulan Applications |
164
click to vote
FORTE
2003
15 years 7 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
170
click to vote
IJCSA
2008
15 years 6 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
179
click to vote
JUCS
2006
15 years 6 months ago
2006
: Data assimilation is a method of combining an imperfect simulation model and a number of incomplete observation data. Sequential data assimilation is a data assimilation in which...
151
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Spatial resolution of Magnetic Resonance Angiography (MRA) makes it a powerful tool for diagnosis and surgical planning. However, image interpretation and visualization tools are ...
172
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...