Sciweavers

11561 search results - page 112 / 2313
» A Language for Biochemical Systems
Sort
View
RULEML
2007
Springer
16 years 17 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 16 days ago
Query language support for incomplete information in the MayBMS system
Lyublena Antova, Christoph Koch, Dan Olteanu
VMCAI
2007
Springer
16 years 16 days ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She