1583 search results - page 76 / 317 » Feature Interaction Detection in the Feature Language Extens... |
162
Voted
AWPN
2008
15 years 4 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
100
Voted
SIGCOMM
1999
ACM
15 years 7 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
99
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
118
Voted
ASWEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
116
Voted
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...