1419 search results - page 86 / 284 » Notes on Formalizing Context |
97
Voted
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
118
Voted
CICLING
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we describe a rule-based formalism for the analysis and labelling of texts segments. The rules are contextual rewriting rules with a restricted form of negation. They...
128
Voted
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
85
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
109
Voted
ICCS
2000
Springer
15 years 4 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...