1835 search results - page 120 / 367 » Functional Programming of Behavior-Based Systems |
160
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
218
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
169
click to vote
PDPTA
2007
15 years 6 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
140
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
131
click to vote
PAMI
2006
15 years 4 months ago
2006
A binary linear programming formulation of the graph edit distance for unweighted, undirected graphs with vertex attributes is derived and applied to a graph recognition problem. ...