4985 search results - page 287 / 997 » Observation of String-Rewriting Systems |
131
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
117
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
153
click to vote
LWA
2008
15 years 6 months ago
2008
Although asynchronous HTTP technologies have grown in importance with the emergence of Web 2.0, most web-based Adaptive Hypermedia Systems (AHS) still exclusively use serverside m...
147
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
152
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
This paper presents a Newton-like algorithm for solving systems of rank constrained linear matrix inequalities. Though local quadratic convergence of the algorithm is not a priori...