392 search results - page 33 / 79 » APROL: a Hybrid Language |
116
click to vote
EDBTW
2004
Springer
15 years 7 months ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
116
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
113
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
In the STS-based mapping, we are requested to obtain the correct order of probes in a DNA sequence from a given set of fragments or equivalently a hybridization matrix A. It is wel...
155
click to vote
LANMR
2004
15 years 3 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
234
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...