1269 search results - page 151 / 254 » Pi-Calculus in Logical Form |
175
click to vote
EUROMICRO
2009
IEEE
16 years 27 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...
163
click to vote
ICNP
2009
IEEE
16 years 24 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...
163
click to vote
CSCLP
2007
Springer
16 years 10 days 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...
158
click to vote
MKM
2007
Springer
16 years 8 days 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 (...
155
click to vote
PEPM
2007
ACM
16 years 8 days 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...