981 search results - page 67 / 197 » Semantics-aware trace analysis |
175
click to vote
CEEMAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
167
click to vote
ISQED
2000
IEEE
15 years 10 months ago
2000
IEEE
A new algorithm to determine the number and value of realistic worst-case models for the performance of module library components is presented in this paper. The proposed algorith...
205
click to vote
APAQS
2001
IEEE
15 years 9 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
131
click to vote
COLING
1996
15 years 7 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...