7529 search results - page 433 / 1506 » The Modula-3 Type System |
169
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
149
click to vote
ESAW
2004
Springer
16 years 8 days ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
153
click to vote
FOSSACS
2004
Springer
16 years 8 days ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
182
click to vote
BIRTHDAY
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
204
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...