79 search results - page 14 / 16 » birthday 2005 |
159
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
145
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
158
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
188
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
153
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...