MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specification with Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

186 documents found, showing 1 through 10. Next 10 →

ATOM

Contracts, Components, and their Runtime Verification on the .NET Platform
by Mike Barnett, Wolfram Schulte — 2002
…Contracts, Components, and their Runtime Verication on the .NET Platform Mike Barnett and Wolfram…
Cited by 14 (1 self) – Add To MetaCart

The SEA Language for System Engineering and Animation
by E. Kleinjohann, E. Kleinjohann, J. Tacken — 1996 — In Applications and Theory of Petri Nets, LNCS 1091
… define the semantics of graphical system specifications. These nets are also used as a basis…
Cited by 17 (12 self) – Add To MetaCart

Users' Guide to NetSolve version 1.2.beta
by Henri Casanova, Jack Dongarra, Alexander Karainov, Jerzy Wasniewski — 1998
… to several publications concerning the project. The second chapter describes the specification of Net…
Add To MetaCart

Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning
by C. J. Alpert, A. B. Kahng — 1993 — Proc. ACM/IEEE Design Automation Conf
… of the netlist via (i) a new "partitioning-specific" net model for constructing the Laplacian of the netlist…
Cited by 25 (13 self) – Add To MetaCart

About NetEc, with special Reference to WoPEc
by Thomas Krichel — 1997 — Computers in Higer Education Economics Reviev
… specific NetEc project called WoPEc. It is based on a speech given at the Caisse des Depots et…
Cited by 3 (3 self) – Add To MetaCart

Analysis And Solutions For General Queueing Networks
by K. M. Chandy
…, 4, 5, 6, 7, _7. Steady state probabilities for specific net- works have been obtained by solving…
Cited by 6 (1 self) – Add To MetaCart

Real-Time Software Specification and Validation with Transnet
by Krzysztof M. Sacha — 1994 — Real-Time Systems Journal
… Transnet. The method is based on an extension to Petri nets. A specification is developed by a problem…
Cited by 2 (2 self) – Add To MetaCart

An Early Evaluation of WSRF and WS-Notification via WSRF.NET
by Marty Humphrey, Glenn Wasson, Mark Morgan, Norm Beekwilder — 2004 — In 2004 Grid Computing Workshop (associated with Supercomputing 2004
… of the specifications on the .NET platform. Additionally, the difference between WSRF and WSRF.NET was difficult…
Cited by 9 (4 self) – Add To MetaCart

verification of.NET contracts
by Mike Barnett, Wolfram Schulte — 2002
… 2002 Abstract We propose a method for implementing behavioral interface specifications on the .NET…
Add To MetaCart

Compositional Reification of Concurrent, Interacting Systems
by Paulo Blauth Menezes — 1998 — Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application PDPTA’98, v.4, Las Vegas
….e., Petri nets are equipped with a hierarchical specification mechanism (vertical compositionality…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB