7340 search results - page 315 / 1468 » The Behavior of Tutoring Systems |
233
click to vote
DB
2008
15 years 6 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
190
click to vote
INTERNET
2006
15 years 6 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
178
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
154
click to vote
CMMR
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...
147
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...