10072 search results - page 1645 / 2015 » Composition of Model Programs |
161
click to vote
ATAL
2003
Springer
16 years 10 hour ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
192
click to vote
CC
2003
Springer
16 years 8 hour ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
161
click to vote
DBPL
2003
Springer
16 years 4 hour ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
169
click to vote
ESA
2003
Springer
16 years 1 hour ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
235
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...