1216 search results - page 101 / 244 » Translation analysis and translation automation |
ATVA
2009
Springer
14 years 5 days ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
APN
2001
Springer
13 years 11 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
ADAEUROPE
2008
Springer
13 years 10 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ACL
2007
13 years 9 months ago
2007
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
IM
2003
13 years 9 months ago
2003
: The network management area has some proposals to use XML to encode information models and managed object instances. In this paper we present a solution to dynamically create SNM...