1301 search results - page 111 / 261 » Specifications via Realizability |
118
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
136
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
118
click to vote
ARGMAS
2006
Springer
15 years 7 months ago
2006
Springer
In situations where self-interested agents interact repeatedly, it is important that they are endowed with negotiation techniques that enable them to reach agreements that are pro...
120
Voted
AAAI
2008
15 years 6 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
141
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We propose a sequential Monte Carlo data association algorithm based on a two-level computational framework for tracking varying number of interacting objects in dynamic scene. Fi...