11017 search results - page 159 / 2204 » Closure Systems and their Structure |
125
Voted
IANDC
2006
15 years 3 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
150
Voted
USS
2010
15 years 1 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
140
Voted
HIPC
2009
Springer
15 years 1 months ago
2009
Springer
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...
135
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
133
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
In realizing video retrieval system, the crucial point is how to provide an effective access method of video contents. This paper focuses on Japanese cooking instruction utterance...