Search Sciweavers | Sciweavers

2123 search results - page 50 / 425

» Composition of Cyber-Physical Systems

147

click to vote

ICMCS
1996
IEEE

113views Multimedia» more ICMCS 1996»

A Protocol Composition-Based Approach to QoS Control in Collaboration Systems

15 years 10 months ago

Download www.eecs.umich.edu

Amit G. Mathur, Atul Prakash

claim paper

Read More »

351

click to vote

ECSQARU
1997
Springer

334views Automated Reasoning» more ECSQARU 1997»

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

15 years 10 months ago

Download www.few.vu.nl

Joeri Engelfriet, Jan Treur

claim paper

Read More »

143

click to vote

IDMS
1997
Springer

104views Multimedia» more IDMS 1997»

MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems

15 years 10 months ago

Download www.giovannimartini.it

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

claim paper

Read More »

161

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

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

15 years 10 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

130

click to vote

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers