1285 search results - page 112 / 257 » Structural Operators for Modeling 3-Manifolds |
ACL
1990
15 years 1 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
112
click to vote
ENTCS
2007
15 years 20 days ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
108
click to vote
IJDE
2007
15 years 19 days ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
100
click to vote
OOPSLA
1998
Springer
15 years 5 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
111
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...