1411 search results - page 152 / 283 » Interactive Coding for Interactive Proofs |
123
click to vote
MATA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper we p...
DSVIS
2003
Springer
15 years 3 months ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
121
click to vote
IWPC
2002
IEEE
15 years 2 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
AMT
2001
Springer
15 years 2 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...