Search Sciweavers | Sciweavers

2123 search results - page 48 / 425

» Composition of Cyber-Physical Systems

131

click to vote

KBSE
2005
IEEE

116views Software Engineering» more KBSE 2005»

Compositional reasoning for port-based distributed systems

16 years 6 days ago

Download www.cs.uwaterloo.ca

Alma L. Juarez Dominguez, Nancy A. Day

claim paper

Read More »

132

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 5 days ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

136

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

16 years 3 days ago

Download www.itee.uq.edu.au

Andreas Leicher, Susanne Busse, Jörn Guy S&uu...

claim paper

Read More »

124

click to vote

ICSR
2004
Springer

90views Software Engineering» more ICSR 2004»

Concern-Based Composition and Reuse of Distributed Systems

16 years 14 hour ago

Download www.cs.wustl.edu

Andrey Nechypurenko, Tao Lu, Gan Deng, Emre Turkay...

claim paper

Read More »

104

click to vote

MPC
2010
Springer

158views Mathematics» more MPC 2010»

Compositional Action System Derivation Using Enforced Properties

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers