Search Sciweavers | Sciweavers

13917 search results - page 73 / 2784

» Abstraction of Probabilistic Systems

143

Voted

AOSE
2000
Springer

75views Intelligent Agents» more AOSE 2000»

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

15 years 10 months ago

Download www.jos.org.cn

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

claim paper

Read More »

120

click to vote

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

15 years 10 months ago

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

155

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 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

108

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 10 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

152

Voted

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers