7259 search results - page 1206 / 1452 » From Fields to Trees |
143
Voted
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
180
click to vote
MFCS
2004
Springer
16 years 2 days ago
2004
Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
154
click to vote
ACSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
147
Voted
GLVLSI
2003
IEEE
16 years 21 hour ago
2003
IEEE
In this paper, we describe a low power and high speed multiplier suitable for standard cell-based ASIC design methodologies. For the purpose, an optimized booth encoder, compact 2...
150
Voted
HICSS
2003
IEEE
16 years 20 hour ago
2003
IEEE
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...