2200 search results - page 222 / 440 » Programming norm change |
135
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper provides an empirical test of a hypothesis, which describes the effects of structural mechanisms in genetic programming. In doing so, the paper offers a test p...
110
click to vote
HUMAN
2003
Springer
15 years 9 months ago
2003
Springer
A web robot is a program that downloads and stores web pages. Implementation issues of web robots have been studied widely and various web statistics are reported in the literature...
102
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
125
click to vote
PG
1998
IEEE
15 years 8 months ago
1998
IEEE
The construction of shape spaces is studied from a mathematical and a computational viewpoint. A program is outlined reducing the problem to four tasks: the representation of geom...