4693 search results - page 301 / 939 » Verifying Hybrid Systems |
204
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Establishing trust amongst agents is of central importance to the development of well-functioning multi-agent systems. For example, the anonymity of transactions on the Internet c...
188
Voted
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
178
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
183
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
Delegation of authority is an important process that needs to be captured by any access control model. In role-based access control models, delegation of authority involves delega...
192
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...