Sciweavers

5599 search results - page 18 / 1120
» Abstract State Services
Sort
View
112
Voted
EACL
1993
ACL Anthology
15 years 5 months ago
On Abstract Finite-State Morphology
Ajit Narayanan, Lama Hashem
JAIR
2008
82views more  JAIR 2008»
15 years 3 months ago
A General Theory of Additive State Space Abstractions
Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Z...
DEDS
2007
62views more  DEDS 2007»
15 years 3 months ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...
103
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 3 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
98
Voted
JUCS
2008
148views more  JUCS 2008»
15 years 3 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...