Sciweavers

21430 search results - page 42 / 4286
» Abstract Effective Models
Sort
View
147
Voted
RULEML
2005
Springer
16 years 29 days ago
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Adrian Giurca, Gerd Wagner
130
Voted
SARA
2005
Springer
16 years 29 days ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck
SARA
2005
Springer
16 years 29 days 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»
16 years 29 days ago
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni