4353 search results - page 269 / 871 » Expressiveness of Process Algebras |
163
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
165
click to vote
ICTAC
2007
Springer
16 years 23 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
149
click to vote
ICWL
2007
Springer
16 years 23 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
163
click to vote
SCW
2006
IEEE
16 years 19 days ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
162
click to vote
ACMSE
2005
ACM
16 years 5 days ago
2005
ACM
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...