Sciweavers

13917 search results - page 86 / 2784
» Abstraction of Probabilistic Systems
Sort
View
JAIR
2002
110views more  JAIR 2002»
14 years 9 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
ICTAC
2010
Springer
14 years 8 months ago
Material Flow Abstraction of Manufacturing Systems
Jewgenij Botaschanjan, Benjamin Hummel
LOGCOM
2010
75views more  LOGCOM 2010»
14 years 8 months ago
A Proof System for Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni
PERCOM
2010
ACM
14 years 8 months ago
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...