Sciweavers

436 search results - page 59 / 88
» Specification of modelling languages in a flexible meta-mode...
Sort
View
VEE
2010
ACM
218views Virtualization» more  VEE 2010»
15 years 6 months ago
Improving compiler-runtime separation with XIR
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
Ben Titzer, Thomas Würthinger, Doug Simon, Ma...
AINA
2003
IEEE
15 years 2 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
APSEC
1996
IEEE
15 years 3 months ago
M-base : An Application Development Environment for End-user Computing based on Message Flow
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
Takeshi Chusho, Yuji Konishi, Masao Yoshioka
FQAS
2004
Springer
91views Database» more  FQAS 2004»
15 years 4 months ago
On the Discovery of the Semantic Context of Queries by Game-Playing
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...
Alessandro Agostini, Paolo Avesani
IPPS
1998
IEEE
15 years 2 months ago
Airshed Pollution Modeling: A Case Study in Application Development in an HPF Environment
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
Jaspal Subhlok, Peter Steenkiste, James M. Stichno...