7124 search results - page 152 / 1425 » Programming Languages and Operating Systems |
123
Voted
MATES
2007
Springer
15 years 8 months ago
2007
Springer
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...
130
Voted
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
126
Voted
DLS
2007
15 years 4 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
120
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
136
click to vote
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...