2171 search results - page 198 / 435 » A Generic Process Algebra |
118
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
120
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
108
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
We describe a method to define and use subwebs, user-defined neighborhoods of the Internet. Subwebs help improve search performance by inducing a topic-specific page relevance ...
137
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
104
Voted
UML
2004
Springer
15 years 9 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...