1938 search results - page 125 / 388 » Dependable Software |
194
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...
165
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
160
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We provide the first classification of different types of Random Boolean Networks (RBNs). We study the differences of RBNs depending on the degree of synchronicity and determinism...
178
click to vote
JOT
2006
15 years 6 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
167
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...