8828 search results - page 1207 / 1766 » Formal methods in practice |
187
click to vote
ISAMI
2010
15 years 5 months ago
2010
Experience sampling techniques can be used to study user experiences with products in a natural setting and over time. Nowadays, researchers can use selective sampling to link the ...
179
click to vote
MASS
2010
15 years 5 months ago
2010
A new generation of WSN communication transceivers are now available that support time-of-flight distance measurement. This measurement can be inseparably integrated with message t...
192
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While the number and size of Semantic Web knowledge bases increases, their maintenance and quality assurance are still difficult. In this article, we present ORE, a tool ...
282
click to vote
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
In recent years, optimization in dynamic environments has attracted a growing interest from the genetic algorithm community due to the importance and practicability in real world a...
185
Voted
HCI
2009
15 years 5 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...