1001 search results - page 156 / 201 » Testing Formal Dialectic |
ERCIMDL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...
ICPPW
2002
IEEE
14 years 21 days ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
LADS
2009
Springer
14 years 10 days ago
2009
Springer
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
AGENTS
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
ICFP
1999
ACM
14 years 2 days ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...