Sciweavers

11561 search results - page 112 / 2313
» A Language for Biochemical Systems
Sort
View
RULEML
2007
Springer
16 years 1 days ago
A Generic Module System for Web Rule Languages: Divide and Rule
Uwe Aßmann, Sacha Berger, François Br...
VLDB
2007
ACM
109views Database» more  VLDB 2007»
16 years 1 days ago
Query language support for incomplete information in the MayBMS system
Lyublena Antova, Christoph Koch, Dan Olteanu
VMCAI
2007
Springer
16 years 1 days ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She