1221 search results - page 88 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
128
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
144
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
115
click to vote
SIMULATION
2002
15 years 3 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
114
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
124
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...