2867 search results - page 87 / 574 » A Context Management System for Supporting Context-Aware App... |
192
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
188
click to vote
ICIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
174
click to vote
CAISE
1998
Springer
15 years 10 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
175
click to vote
IFIP
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
151
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...