Sciweavers

17298 search results - page 118 / 3460
» Abstract computing machines
Sort
View
66
Voted
GI
2007
Springer
15 years 6 months ago
Executing Abstract Test Cases
Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
94
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
Abstract Counterexample-Based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas A. Henzinger, G...
75
Voted
CG
2006
Springer
15 years 6 months ago
Abstracting Knowledge from Annotated Chinese-Chess Game Records
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...
92
Voted
ENC
2004
IEEE
15 years 6 months ago
Abstract Channels as Connectors for Software Components in Group Communication Services
Jean Fanchon, Khalil Drira, Saul Pomares Hernandez