1583 search results - page 276 / 317 » Engineering Executable Agents using Multi-context Systems |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
IWPSE
2007
IEEE
14 years 2 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...