3104 search results - page 64 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
139
click to vote
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
147
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
137
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes an innovative use of a mix of networking standards and software implementation technologies for the design of industrial Human Machine Interface (HMI) systems....
124
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
145
Voted
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...