5904 search results - page 461 / 1181 » Requirements for a Composition Language |
204
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Bayesian networks are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty. We will analyze Bayesian network...
209
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
194
click to vote
ICLP
2005
Springer
16 years 16 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
190
click to vote
CAISE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
223
click to vote
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...