696 search results - page 108 / 140 » Explaining abstract counterexamples |
121
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
100
Voted
MASCOTS
2001
15 years 4 months ago
2001
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
162
Voted
WOA
2003
15 years 4 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
125
click to vote
ECIS
2000
15 years 4 months ago
2000
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
115
click to vote
FLAIRS
2000
15 years 4 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...