3844 search results - page 729 / 769 » Modular interpreted systems |
102
click to vote
FUIN
2006
15 years 1 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
114
click to vote
IJFCS
2006
15 years 1 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
109
click to vote
JETAI
2008
15 years 1 months ago
2008
Are minds really dynamical or are they really symbolic? Because minds are bundles of computations, and because computation is always a matter of interpretation of one system by an...
136
click to vote
JAIR
2007
15 years 1 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
119
click to vote
TON
2008
15 years 1 months ago
2008
Server selection plays an essential role in content replication networks, such as peer-to-peer (P2P) and content delivery networks (CDNs). In this paper, we perform an analytical i...