1712 search results - page 136 / 343 » Abstract Constraint Data Types |
114
click to vote
EUROMED
2010
15 years 1 months ago
2010
Abstract. Museums research new ways to offer positive experience to the visitors and encourage them to return, using modern communication and learning tools. To the effect, technol...
242
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
140
click to vote
INFOSCALE
2007
ACM
15 years 4 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
100
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
While the information resources on the Web are vast, the sources are often hard to find, painful to use, and difficult to integrate. We have developed the Heracles framework for b...
147
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...