Search Sciweavers | Sciweavers

12774 search results - page 248 / 2555

» A Framework for Proof Systems

174

click to vote

CODES
2009
IEEE

142views Software Engineering» more CODES 2009»

A compositional modelling framework for exploring MPSoC systems

15 years 11 months ago

Download dogbert.eng.umd.edu

Anders Sejer Tranberg-Hansen, Jan Madsen

claim paper

Read More »

102

click to vote

DAC
2009
ACM

121views Computer Architecture» more DAC 2009»

SysCOLA: a framework for co-development of automotive software and system platform

15 years 11 months ago

Download www.lis.ei.tum.de

Zhonglei Wang, Andreas Herkersdorf, Wolfgang Haber...

claim paper

Read More »

123

Voted

DEXA
2001
Springer

75views Database» more DEXA 2001»

A Spatial Hypermedia Framework for Position-Aware Information Delivery Systems

15 years 11 months ago

Download www.dl.kuis.kyoto-u.ac.jp

Haruhiko Hiramatsu, Kazutoshi Sumiya, Kuniaki Ueha...

claim paper

Read More »

108

click to vote

IFIP
2001
Springer

73views Programming Languages» more IFIP 2001»

Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks

15 years 11 months ago

Download folk.uio.no

Steven Furnell, Maria Papadaki, G. Magklaras, A. A...

claim paper

Read More »

157

click to vote

EDOC
2000
IEEE

106views Distributed And Parallel Com...» more EDOC 2000»

Cooperation of Heterogeneous Legacy Information Systems: A Methodological Framework

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers