1669 search results - page 50 / 334 » Structured Specification of Model Interpreters |
122
Voted
JAPLL
2007
15 years 2 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
128
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
111
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Generic camera modeling using raxels and associated methods was recently introduced in Computer Vision. The main advantage is the applicability for any camera model, which contras...
136
Voted
IMC
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
92
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...