10870 search results - page 1818 / 2174 » Model Checking Programs |
161
click to vote
ATAL
2003
Springer
16 years 14 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 ...
161
click to vote
DBPL
2003
Springer
16 years 8 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 5 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 ...
236
click to vote
FASE
2003
Springer
16 years 3 hour 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...
187
click to vote
GD
2003
Springer
16 years 1 hour ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...