2638 search results - page 293 / 528 » Frameworks for Reasoning about Agent Based Systems |
159
click to vote
HCI
2001
15 years 8 months ago
2001
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...
147
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
We describe a general-purpose distributed system capable of traceback of malicious flow trajectories in the wide area despite possible source IP spoofing. Our system requires th...
190
click to vote
FDL
2006
IEEE
16 years 20 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
217
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
375
click to vote
DLOG
2011
14 years 10 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...