2039 search results - page 133 / 408 » Teaching Standards to Engineers |
150
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
148
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
We study the complexity of several standard problems for 1-safe Petri nets and some of its subclasses. We prove that reachability, liveness, and deadlock are all PSPACE-complete f...
156
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: This paper presents the study of modifying a legacy single-issue DSP processor to provide real-time processing capacity for emerging multimedia applications. The latest video com...
145
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The current commercial anti-virus software detects a virus only after the virus has appeared and caused damage. Motivated by the standard signature-based technique for detecting v...
162
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...