Search Sciweavers | Sciweavers

132 search results - page 6 / 27

» Safraless Compositional Synthesis

click to vote

ATAL
2010
Springer

108views Intelligent Agents» more ATAL 2010»

Agent composition synthesis based on ATL

13 years 8 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Paolo Felli

claim paper

Read More »

click to vote

DEBU
2008

91views more DEBU 2008»

Automatic Service Composition and Synthesis: the Roman Model

13 years 7 months ago

Download sites.computer.org

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

JISE
2008

109views more JISE 2008»

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

13 years 7 months ago

Download www.iis.sinica.edu.tw

Zhijun Ding, Junli Wang, Changjun Jiang

claim paper

Read More »

click to vote

DEDS
1998

82views more DEDS 1998»

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems

13 years 7 months ago

Download www.cs.technion.ac.il

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...

Michael Heymann, Feng Lin, George Meyer

claim paper

Read More »

click to vote

ICCAD
2005
IEEE

127views Hardware» more ICCAD 2005»

Hardware synthesis from guarded atomic actions with performance specifications

14 years 4 months ago

Download csg.csail.mit.edu

We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...

Daniel L. Rosenband

claim paper

Read More »

« Prev « First page 6 / 27 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers