4074 search results - page 659 / 815 » Abstract Graph Transformation |
109
Voted
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
115
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
108
Voted
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
120
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
138
click to vote
ESTIMEDIA
2005
Springer
15 years 7 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...