3239 search results - page 383 / 648 » A Logical Process Calculus |
130
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
141
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
110
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper presents a 2GHz 8-bit CMOS ROM-less direct digital frequency synthesizer (DDFS). Nonlinear current steering digital to analog converter (DAC) has been utilized to con...
142
click to vote
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handli...
126
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...