15860 search results - page 2593 / 3172 » Agent-Based Software Engineering |
130
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
177
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
160
click to vote
GPCE
2007
Springer
16 years 25 days ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
154
click to vote
ICFEM
2007
Springer
16 years 24 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
166
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...