6274 search results - page 1092 / 1255 » Proofs, Programs, Processes |
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
ISMIR
2004
Springer
14 years 4 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
IWAN
2004
Springer
14 years 4 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
IWAN
2004
Springer
14 years 4 months ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...
JELIA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...