2165 search results - page 187 / 433 » cases 2005 |
132
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents and discusses the use of an agent-oriented context-aware platform to support communities of practice (CoPs) in the health care domain. Our work is based on a s...
106
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. A naive parallelization of such algorithms ...
135
click to vote
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
102
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
122
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...