1426 search results - page 268 / 286 » Specification of nonmonotonic reasoning |
ER
2006
Springer
14 years 11 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
COORDINATION
2008
Springer
14 years 11 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
EDBT
2008
ACM
14 years 11 months ago
2008
ACM
The mobile phone industry has reached a saturation point. With low growth rates and fewer new customers available to acquire, competition among mobile operators is now focused on ...
I3E
2008
14 years 11 months ago
2008
Abstract. Many e-commerce sites use a recommendation system to filter the specific information that a user wants out of an overload of information. Currently, the usefulness of the...