1269 search results - page 151 / 254 » Pi-Calculus in Logical Form |
170
click to vote
EUROMICRO
2009
IEEE
16 years 6 days ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
147
click to vote
ICNP
2009
IEEE
16 years 3 days ago
2009
IEEE
—Routing protocols are implemented in the form of software running on a general-purpose microprocessor. However, conventional software-based router architectures face significan...
159
click to vote
CSCLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
150
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
145
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...