8810 search results - page 493 / 1762 » Openness |
203
Voted
SPIN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
174
Voted
ASPDAC
2004
ACM
16 years 9 days ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
178
click to vote
COMPGEOM
2004
ACM
16 years 9 days ago
2004
ACM
Let P be a set of n points in general position in the plane. Let Xk(P ) denote the number of empty convex k-gons determined by P. We derive, using elementary proof techniques, sev...
170
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
The Grid and agent communities both develop concepts and mechanisms for open distributed systems, albeit from different perspectives. The Grid community has historically focused o...
154
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...