2546 search results - page 417 / 510 » In support of city exploration |
142
click to vote
JPDC
2007
15 years 6 months ago
2007
Virtual circuits can reduce routing overheads with irregular topologies and provide support for a mix of quality of service (QOS) requirements. Information about network loads and...
157
click to vote
AIEDU
2004
15 years 6 months ago
2004
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
147
click to vote
AIEDU
2004
15 years 6 months ago
2004
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...
154
click to vote
TVLSI
2008
15 years 6 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
188
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...