3719 search results - page 260 / 744 » RACER System Description |
154
click to vote
ISARCS
2010
15 years 8 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
199
click to vote
WISTP
2010
Springer
16 years 1 months ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
169
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
179
click to vote
CDVE
2007
Springer
16 years 24 days ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
166
click to vote
ISLPED
2006
ACM
16 years 18 days ago
2006
ACM
Light-weight embedded systems are now gaining more popularity due to the recent technological advances in fabrication that have resulted in more powerful tiny processors with grea...