Search Sciweavers | Sciweavers

13917 search results - page 73 / 2784

» Abstraction of Probabilistic Systems

click to vote

AOSE
2000
Springer

75views Intelligent Agents» more AOSE 2000»

Organizational Abstractions for the Analysis and Design of Multi-agent Systems

15 years 2 months ago

Download www.jos.org.cn

Franco Zambonelli, Nicholas R. Jennings, Michael W...

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

15 years 2 months ago

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 2 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 2 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

ECOOPW
1998
Springer

100views Distributed And Parallel Com...» more ECOOPW 1998»

A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers