3281 search results - page 362 / 657 » Bases for parametrized iterativity |
175
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper addresses the problem of cooperative localization (CL) under severe communication constraints. Specifically, we present minimum mean square error (MMSE) and maximum...
190
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
170
click to vote
WAW
2009
Springer
16 years 1 months ago
2009
Springer
We present a deterministic model for on-line social networks based on transitivity and local knowledge in social interactions. In the Iterated Local Transitivity (ILT) model, at ea...
197
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
187
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Web of Linked Data forms a single, globally distributed dataspace. Due to the openness of this dataspace, it is not possible to know in advance all data sources that might be r...