10568 search results - page 561 / 2114 » Computer Intelligence and Formalization |
156
Voted
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
157
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
173
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
182
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
181
click to vote
EGICE
2006
15 years 10 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...