2200 search results - page 150 / 440 » Programming norm change |
140
click to vote
ENTCS
2002
15 years 3 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
142
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
137
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
154
click to vote
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
144
click to vote
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...