4008 search results - page 453 / 802 » An expressive language of signatures |
218
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
200
click to vote
LPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
157
click to vote
RTA
2004
Springer
16 years 5 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
183
click to vote
CSB
2003
IEEE
16 years 3 days ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
153
click to vote
ICDAR
2003
IEEE
16 years 3 days ago
2003
IEEE
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...