6317 search results - page 908 / 1264 » System Support for Pervasive Applications |
170
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
212
click to vote
HIM
1997
Springer
15 years 11 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
162
click to vote
IFIP
1997
Springer
15 years 11 months ago
1997
Springer
: National and international standards for professional groups may become a dominant and governing force as internet-based professional training becomes universally accepted. Educa...
210
click to vote
PPCP
1993
15 years 10 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
163
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...