3604 search results - page 292 / 721 » All Common Subsequences |
179
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
181
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
192
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
156
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we question the common practice of assigning security impact ratings to OS updates. Specifically, we present evidence that ranking updates by their perceived securi...
136
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...