3028 search results - page 363 / 606 » Integrating Temporal Logics |
179
Voted
ACMICEC
2006
ACM
16 years 19 days ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
214
click to vote
CBSE
2005
Springer
16 years 6 days ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
180
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
152
Voted
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
133
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...