Sciweavers

700 search results - page 48 / 140
» A Tools Environment for Developing and Reasoning about Ontol...
Sort
View
ELPUB
2006
ACM
15 years 7 months 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 3 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
87
Voted
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 5 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...
133
Voted
ACMACE
2004
ACM
15 years 7 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 1 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...