3844 search results - page 62 / 769 » Modular interpreted systems |
CASES
2004
ACM
15 years 8 months ago
2004
ACM
125
click to vote
CSJM
2007
15 years 2 months ago
2007
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
124
click to vote
VL
2010
IEEE
15 years 1 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
116
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
124
click to vote
JUCS
2008
15 years 2 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...