5525 search results - page 709 / 1105 » Verification of Model Transformations |
190
click to vote
KCAP
2005
ACM
16 years 15 days ago
2005
ACM
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
169
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
203
click to vote
CF
2004
ACM
16 years 11 days ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
169
click to vote
IUI
2003
ACM
16 years 5 days ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
256
click to vote
FPGA
2003
ACM
16 years 4 days ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...