1975 search results - page 53 / 395 » Property analysis and design understanding |
113
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
This paper sketches a phenomenological analysis of visual mental imagery and uses it to criticize representationalism and the internalist-versus-externalist framework for understan...
ITS
2000
Springer
15 years 5 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
INFOCOM
1996
IEEE
15 years 6 months ago
1996
IEEE
Rate based congestion management for computer communication networks has been the focus of considerable research recently. Dierent variants to the end-to-end rate based algorithm ...
129
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
238
Voted
DELTA
2006
IEEE
15 years 8 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...