Search Sciweavers | Sciweavers

8644 search results - page 98 / 1729

» On the Composition of Secure Systems

click to vote

IDMS
1997
Springer

104views Multimedia» more IDMS 1997»

MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems

14 years 1 months ago

Download www.giovannimartini.it

Pier Giorgio Bosco, Giovanni Martini, Giovanni Ret...

claim paper

Read More »

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

14 years 1 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

14 years 29 days ago

Download www.cs.ucf.edu

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

14 years 19 days ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

14 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers