Search Sciweavers | Sciweavers

4894 search results - page 38 / 979

» Dynamic Abstraction Planning

105

Voted

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

15 years 11 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

146

click to vote

NPAR
2000
ACM

158views Computer Animation» more NPAR 2000»

Interactive dynamic abstraction

15 years 10 months ago

Download www.snibbe.com

Scott S. Snibbe, Golan Levin

claim paper

Read More »

116

Voted

AOSE
2000
Springer

76views Intelligent Agents» more AOSE 2000»

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

15 years 10 months ago

Download www.cs.vu.nl

Catholijn M. Jonker, Jan Treur, Wieke de Vries

claim paper

Read More »

132

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

120

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers