4917 search results - page 394 / 984 » Software Engineering is Not Computer Science |
179
click to vote
AROBOTS
2011
14 years 11 months ago
2011
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
171
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
152
click to vote
SIAMDM
2011
14 years 11 months ago
2011
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associat...
149
click to vote
ICST
2011
IEEE
14 years 8 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
148
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...