258 search results - page 52 / 52 » A formal framework for agent interaction semantics |
143
Voted
TCS
2002
15 years 3 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
197
Voted
LBM
2007
15 years 5 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
116
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...