Sciweavers

69 search results - page 5 / 14
» Distributive Concept Exploration - A Knowledge Acquisition T...
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
AGENTS
1998
Springer
13 years 12 months ago
Cognition and Affect: Architectures and Tools
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
Aaron Sloman, Brian Logan
EDOC
2004
IEEE
13 years 11 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
EGICE
2006
13 years 11 months ago
Bio-inspiration: Learning Creative Design Principia
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
Tomasz Arciszewski, Joanna Cornell
ESCIENCE
2006
IEEE
14 years 1 months ago
Identifying Tools to Support Schools' Collaborative Teaching and Learning
Integration of e-Science and Grid technologies into curriculum teaching is currently an ambitious aim for teachers and school infrastructures to organise. However, it can expose c...
Hilary Smith, Joshua Underwood, Geraldine Fitzpatr...