1320 search results - page 147 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
127
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
134
Voted
CLIMA
2004
15 years 5 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
137
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
180
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
134
Voted
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...