2817 search results - page 261 / 564 » An Architecture for Emergent Semantics |
190
click to vote
IAT
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
170
click to vote
PACT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
183
Voted
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...
225
click to vote
GI
1994
Springer
15 years 11 months ago
1994
Springer
Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
213
Voted
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...