891 search results - page 135 / 179 » Towards Reasoning Pragmatics |
ECRTS
2007
IEEE
15 years 6 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...
ISVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
114
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...