7080 search results - page 374 / 1416 » Designing High Integrity Systems Using Aspects |
138
click to vote
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
Automatic capture technology could enable students to record and index much information—both digital and nondigital—with little extra effort. Can this technology be designed t...
194
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
174
click to vote
IEEECGIV
2006
IEEE
15 years 10 months ago
2006
IEEE
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...
135
click to vote
IEAAIE
1995
Springer
15 years 7 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
177
click to vote
WAIM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...