Sciweavers

3255 search results - page 475 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
IJCAI
2007
15 years 7 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
FLAIRS
2010
15 years 8 months ago
Grounded Event-Based and Modal Representations for Objects, Relations, Beliefs, Etc.
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
Ryan James McCall, Stan Franklin, David Friedlande...
ISORC
2005
IEEE
16 years 1 days ago
Revisiting COTS middleware for DRE systems
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
Jérôme Hugues, Laurent Pautet, Fabric...
ISPASS
2009
IEEE
16 years 1 months ago
Accurately approximating superscalar processor performance from traces
Trace-driven simulation of superscalar processors is particularly complicated. The dynamic nature of superscalar processors combined with the static nature of traces can lead to l...
Kiyeon Lee, Shayne Evans, Sangyeun Cho
EMSOFT
2008
Springer
15 years 8 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya