1908 search results - page 323 / 382 » How to teach software modeling |
145
Voted
ALMOB
2006
15 years 4 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
135
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
135
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
132
click to vote
IPCCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
133
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...