Search Sciweavers | Sciweavers

2940 search results - page 9 / 588

» Behavioral Constraints for Services

click to vote

IEEESCC
2005
IEEE

122views Applied Computing» more IEEESCC 2005»

Web Services Composition: A Story of Models, Automata, and Logics

14 years 1 months ago

Download csdl2.computer.org

eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...

Richard Hull

claim paper

Read More »

click to vote

TVLSI
2008

123views more TVLSI 2008»

Automatic Constraint Based Test Generation for Behavioral HDL Models

13 years 7 months ago

Download www.cecs.uci.edu

The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...

Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda...

claim paper

Read More »

click to vote

WSC
2004

124views Modeling And Simulation» more WSC 2004»

Exploring the Constraints of Human Behavior Representation

13 years 9 months ago

Download www.cs.virginia.edu

Human behavior representation (HBR) is an elusive, yet critical goal for many in the simulation community. Requirement specifications related to HBR often exceed current capabilit...

John C. Giordano, Paul F. Reynolds Jr., David C. B...

claim paper

Read More »

click to vote

EURODAC
1995
IEEE

159views VHDL» more EURODAC 1995»

Timing constraint specification and synthesis in behavioral VHDL

13 years 11 months ago

Download www.cecs.uci.edu

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...

claim paper

Read More »