Search Sciweavers | Sciweavers

5630 search results - page 14 / 1126

» Computability in Specification

click to vote

IPPS
2002
IEEE

108views Distributed And Parallel Com...» more IPPS 2002»

Mixed Formal Specifications with PVS

15 years 4 months ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

click to vote

ICMT
2010
Springer

160views Theoretical Computer Science» more ICMT 2010»

Domain-Specific Composition of Model Deltas

15 years 4 months ago

Download www.onekin.org

Maider Azanza, Don S. Batory, Oscar Díaz, S...

claim paper

Read More »

Voted

POLICY
2001
Springer

121views Computer Networks» more POLICY 2001»

Integrating Goal Specification in Policy-Based Management

15 years 4 months ago

Download beardens.net

Mark Bearden, Sachin Garg, Woei-Jyh Lee

claim paper

Read More »

click to vote

IPPS
2000
IEEE

110views Distributed And Parallel Com...» more IPPS 2000»

RPV: A Programming Environment for Real-Time Parallel Vision - Specification and Programming Methodology

15 years 4 months ago

Download ipdps.cc.gatech.edu

Daisaku Arita, Yoshio Hamada, Satoshi Yonemoto, Ri...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers