3844 search results - page 62 / 769 » Modular interpreted systems |
CASES
2004
ACM
15 years 5 months ago
2004
ACM
103
click to vote
CSJM
2007
14 years 12 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...
VL
2010
IEEE
14 years 10 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...
ATAL
2006
Springer
15 years 3 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...
JUCS
2008
14 years 12 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...