Sciweavers

700 search results - page 48 / 140
» A Tools Environment for Developing and Reasoning about Ontol...
Sort
View
ELPUB
2006
ACM
16 years 7 days ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques
WSC
2008
15 years 8 months ago
Knowledge representation and the dimensions of a multi-model relationship
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
Charles D. Turnitsa, Andreas Tolk
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 10 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...
ACMACE
2004
ACM
15 years 11 months ago
Massively multi-player games: matching game design with technical design
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
Anne-Gwenn Bosser
CTW
2004
81views more  CTW 2004»
15 years 6 months ago
Rating non-technical skills: developing a behavioural marker system for use in anaesthesia
Studies of performance in medicine are often based on observation. Videotape provides a valuable tool for recording events from both real environments and simulators. When analysin...
G. Fletcher, R. Flin, P. McGeorge, R. Glavin, N. M...