1615 search results - page 92 / 323 » Dark application communities |
133
click to vote
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
128
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
112
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Feature interactions in the original sense of the term (i.e. within a telecommunications domain), have now been the subject of significant research activity for over ten years. Thi...
142
click to vote
ISPD
1998
ACM
15 years 8 months ago
1998
ACM
From 1985-1993, the MCNC regularly introduced and maintained circuit benchmarks for use by the Design Automation community. However, during the last five years, no new circuits h...
134
click to vote
TPHOL
1996
IEEE
15 years 8 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...