10055 search results - page 300 / 2011 » Structured programming using processes |
100
Voted
PACT
1997
Springer
15 years 4 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
AGILEDC
2003
IEEE
15 years 5 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
116
Voted
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
122
click to vote
AAAI
2012
13 years 3 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
A protein molecule is made of a long chain of amino acid sequences that fold into a complex three-dimensional structure. It is often the geometrical shapes that determine the prot...