134
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
152
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
152
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—We describe our experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of th...
157
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Genetic Programming was first introduced by Koza using tree representation together with a crossover technique in which random sub-branches of the parents' trees are swapped ...