16725 search results - page 2655 / 3345 » Engineering Software Correctness |
206
Voted
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
The Elliptic Curve Digital Signature Algorithm admits a natural parallelization wherein the point multiplication step can be split in two parts and executed in parallel. Further pa...
186
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— We share our experience in planning, designing and deploying a wireless sensor network of one square kilometre area. Environmental data such as soil moisture, temperature, baro...
185
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
164
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
170
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Algorithms for the construction of software interaction test suites have focussed on the special case of pairwise coverage; less is known about efficiently constructing test suite...