Sciweavers

3185 search results - page 169 / 637
» Principles for modeling language design
Sort
View
AO
2011
154views more  AO 2011»
13 years 2 months ago
MIREOT: The minimum information to reference an external ontology term
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
Mélanie Courtot, Frank Gibson, Allyson L. L...
DAC
2008
ACM
14 years 9 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
ITNG
2008
IEEE
14 years 2 months ago
Towards a Model Driven Autonomic Management System
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
Laurent Broto, Daniel Hagimont, Estella Annoni, Be...
ATAL
2003
Springer
14 years 1 months ago
Modeling coping behavior in virtual humans: don't worry, be happy
This article builds on insights into how humans cope with emotion to guide the design of virtual humans. Although coping is increasingly viewed in the psychological literature as ...
Stacy Marsella, Jonathan Gratch
IJWBC
2010
97views more  IJWBC 2010»
13 years 6 months ago
Managing viable virtual communities: an exploratory case study and explanatory model
: Virtual communities play an important part in enabling people with common interests to interact with each other. Current research mostly focuses on the aspects of social interact...
Christoph Rosenkranz, Christoph Feddersen