2165 search results - page 187 / 433 » cases 2005 |
162
click to vote
ATAL
2005
Springer
15 years 12 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...
128
click to vote
ATVA
2005
Springer
15 years 12 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 ...
180
click to vote
BERTINORO
2005
Springer
15 years 12 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 ...
140
click to vote
BIRTHDAY
2005
Springer
15 years 12 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...
153
click to vote
CAISE
2005
Springer
15 years 12 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...