4211 search results - page 554 / 843 » A formal approach to MASQ |
172
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Many topology discovery systems rely on traceroute to discover path information in public networks. However, for some routers, traceroute detects their existence but not their ...
184
click to vote
SBACPAD
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
211
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
150
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
154
click to vote
BPM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...