Sciweavers

5630 search results - page 25 / 1126

» Computability in Specification

33

EDOC
2006
IEEE

87views Distributed And Parallel Com...» more EDOC 2006»

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

14 years 3 months ago

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

Download www.irisa.fr

Sébastien Saudrais, Olivier Barais, Laurenc...

claim paper

Read More »

29

DSVIS
2003
Springer

101views Human Computer Interaction» more DSVIS 2003»

Specification-Based Testing of User Interfaces

14 years 3 months ago

Specification-Based Testing of User Interfaces

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Raul F. A. M. ...

claim paper

Read More »

15

DAC
2004
ACM

81views Computer Architecture» more DAC 2004»

FITS: framework-based instruction-set tuning synthesis for embedded application specific processors

14 years 10 months ago

FITS: framework-based instruction-set tuning synthesis for embedded application specific processors

Download www.eecs.umich.edu

Allen C. Cheng, Gary S. Tyson, Trevor N. Mudge

claim paper

Read More »

38

ICEBE
2005
IEEE

165views Business» more ICEBE 2005»

Distributed Policy Specification and Enforcement in Service-Oriented Business Systems

14 years 3 months ago

Distributed Policy Specification and Enforcement in Service-Oriented Business Systems

Download asusrl.eas.asu.edu

Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...

Wei-Tek Tsai, Xinxin Liu, Yinong Chen

claim paper

Read More »

32

PDP
1996
IEEE

116views Distributed And Parallel Com...» more PDP 1996»

Using ITL and Tempura for Large-Scale Specification and Simulation

14 years 2 months ago

Using ITL and Tempura for Large-Scale Specification and Simulation

Download www.cse.dmu.ac.uk

Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski

Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. M...

claim paper

Read More »

« Prev « First page 25 / 1126 Last » Next »