Sciweavers

21430 search results - page 42 / 4286
» Abstract Effective Models
Sort
View
124
Voted
RULEML
2005
Springer
15 years 12 months ago
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Adrian Giurca, Gerd Wagner
SARA
2005
Springer
15 years 12 months ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck
SARA
2005
Springer
15 years 12 months ago
Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...
SAS
2005
Springer
117views Formal Methods» more  SAS 2005»
15 years 12 months ago
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni