653 search results - page 78 / 131 » Implications of a Data Structure Consistency Checking System |
108
Voted
EMISA
2006
Springer
15 years 3 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
102
click to vote
APSEC
1997
IEEE
15 years 4 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
107
click to vote
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
109
click to vote
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
147
click to vote
POPL
2003
ACM
16 years 5 days ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...