3104 search results - page 563 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
136
click to vote
ICDE
2005
IEEE
15 years 10 months ago
2005
IEEE
Various index structures have been proposed to speed up the evaluation of XML path expressions. However, existing XML path indices suffer from at least one of three limitations: ...
111
click to vote
DNA
2005
Springer
15 years 10 months ago
2005
Springer
Recent experimental progress in DNA lattice construction, DNA robotics, and DNA computing provides the basis for designing DNA cellular computing devices, i.e. autonomous nano-mech...
141
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
141
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
128
Voted
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...