1671 search results - page 167 / 335 » Language Constructs for Multi-agent Programming |
174
click to vote
PTS
1993
15 years 7 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
164
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
297
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
156
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
203
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...