6174 search results - page 1006 / 1235 » The language of social software |
160
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
229
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
158
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
187
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
168
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...