Sciweavers

5630 search results - page 23 / 1126

» Computability in Specification

22

ICTAC
2004
Springer

108views Applied Computing» more ICTAC 2004»

An Approach to Integration Testing Based on Data Flow Specifications

14 years 3 months ago

An Approach to Integration Testing Based on Data Flow Specifications

Download cis.k.hosei.ac.jp

Yuting Chen, Shaoying Liu, Fumiko Nagoya

claim paper

Read More »

27

CONCUR
2003
Springer

96views Distributed And Parallel Com...» more CONCUR 2003»

Netcharts: Bridging the gap between HMSCs and executable specifications

14 years 3 months ago

Netcharts: Bridging the gap between HMSCs and executable specifications

Download www.cmi.ac.in

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagaraj...

claim paper

Read More »

39

ARTS
1997
Springer

110views Distributed And Parallel Com...» more ARTS 1997»

Refining Interval Temporal Logic Specifications

14 years 2 months ago

Refining Interval Temporal Logic Specifications

Download www.cse.dmu.ac.uk

Antonio Cau, Hussein Zedan

claim paper

Read More »

29

REX
1989

64views Logical Reasoning» more REX 1989»

Composing Specifications

14 years 1 months ago

Composing Specifications

Download www.hpl.hp.com

Martín Abadi, Leslie Lamport

claim paper

Read More »

28

APNOMS
2006
Springer

106views Computer Networks» more APNOMS 2006»

On the Security of Attribute Certificate Structuring for Highly Distributed Computing Environments

14 years 1 months ago

On the Security of Attribute Certificate Structuring for Highly Distributed Computing Environments

Download www.apnoms.org

For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...

Soomi Yang

claim paper

Read More »

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