2786 search results - page 234 / 558 » A Practical Technique for Process Abstraction |
157
click to vote
TSE
1998
15 years 6 months ago
1998
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
131
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--This paper contains a modern vision of the parallelization techniques used for evolutionary algorithms (EAs). The work is motivated by two fundamental facts: first, the d...
198
click to vote
TCOS
2010
15 years 1 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
216
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
225
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...