12115 search results - page 2053 / 2423 » Bisimulation of Dynamical Systems |
187
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
159
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Abstract The LLL algorithm aims at ļ¬nding a āreducedā basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
168
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose an efļ¬cient mechanism dealing with trust assessment for agent societies, aiming to accurately assess the trustworthiness of the collaborating agents. I...
175
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
āIn a number of scenarios, services generated using a model-driven development (MDD) approach could beneļ¬t from āreļ¬ectiveā access to the information in the models from w...
206
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, trafļ¬c management or recognition systems, objects have to be compared based on positionally and existentially uncert...