1026 search results - page 56 / 206 » A Methodology for Equational Reasoning |
138
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
116
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- We study routing for massively dense wireless networks, i.e., wireless networks that contain so many nodes that, in addition to their usual microscopic description, a no...
129
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
119
click to vote
IJAOSE
2007
15 years 4 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
114
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal ef...