4378 search results - page 801 / 876 » On the Complexity of Ordered Colourings |
168
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
155
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Field Programmable Gate Arrays (FPGAs) can be used in Intrusion Prevention Systems (IPS) to inspect application data contained within network flows. An IPS operating on high-speed...
160
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
140
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
Clustering has become an increasingly important task in analysing huge amounts of data. Traditional applications require that all data has to be located at the site where it is scr...
182
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...