3239 search results - page 314 / 648 » A Logical Process Calculus |
137
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, varia...
129
click to vote
IJCAI
2007
15 years 6 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
178
click to vote
ANSOFT
2002
15 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
138
click to vote
PODS
2007
ACM
16 years 4 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
136
click to vote
CRIWG
2004
15 years 6 months ago
2004
The design and deployment of collaboration technology has, until lately been more of an art than a science, but it has produced some solid successes. Commercial groupware products ...