1527 search results - page 210 / 306 » Demographic information flows |
142
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
174
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
136
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
146
click to vote
AAAI
2008
15 years 8 months ago
2008
We explore the relationship between properties of the network defined by connected agents and the global system performance. This is achieved by means of a novel class of optimiza...
176
click to vote
ECUMN
2007
Springer
15 years 8 months ago
2007
Springer
Since few years, several applications are proposed on mobile devices. However, these applications are not aware of their physical environment. The emergence of wireless sensors, a...