Search Sciweavers | Sciweavers

21342 search results - page 117 / 4269

» A Structured Language Model

click to vote

ICECCS
2005
IEEE

73views Hardware» more ICECCS 2005»

Integrating Object-Z with Timed Automata

15 years 8 months ago

Download www.comp.nus.edu.sg

When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...

Jin Song Dong, Roger Duke, Ping Hao

claim paper

Read More »

186

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

16 years 2 months ago

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

166

click to vote

SP
2010
IEEE

152views Security Privacy» more SP 2010»

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size

15 years 10 days ago

Download www.cs.cmu.edu

The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...

Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...

claim paper

Read More »

Voted

MODELS
2007
Springer

133views Natural Language Processing» more MODELS 2007»

Reconciling TGGs with QVT

15 years 8 months ago

Download www.cs.le.ac.uk

ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...

Joel Greenyer, Ekkart Kindler

claim paper

Read More »

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers