10263 search results - page 1811 / 2053 » From Use Cases to System Operation Specifications |
202
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
150
click to vote
TCS
2008
15 years 6 months ago
2008
From an engineering point of view, the problem of coordinating a set of autonomous, mobile robots for the purpose of cooperatively performing a task has been studied extensively o...
150
click to vote
INFOCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
—The design of computer and communication systems has been based, for decades, on the fundamental assumption that the objective of all users is to improve their own performance. ...
191
click to vote
ICPP
2006
IEEE
16 years 8 days ago
2006
IEEE
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
276
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...