Sciweavers

1178 search results - page 138 / 236
» A Methodological Approach to Developing Model Transformation...
Sort
View
95
Voted
SEKE
2005
Springer
15 years 7 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
MICRO
1996
IEEE
106views Hardware» more  MICRO 1996»
15 years 6 months ago
Optimization of Machine Descriptions for Efficient Use
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
John C. Gyllenhaal, Wen-mei W. Hwu, B. Ramakrishna...
PGLDB
2003
123views Database» more  PGLDB 2003»
15 years 3 months ago
The Practice of Instructional Design: The Process and Its Application
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
Ana Lúcia Rossi Mendonça
HICSS
2006
IEEE
180views Biometrics» more  HICSS 2006»
15 years 7 months ago
Knowledge Dynamics in Regional Economies: A Research Framework
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
Ramon O'Callaghan, Rafel Andreu
WER
2005
Springer
15 years 7 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano