2302 search results - page 211 / 461 » Testing as Abstraction |
152
click to vote
SPIRE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
222
click to vote
SPW
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
175
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
177
click to vote
ICES
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning. The tuning met...
152
click to vote
ADAEUROPE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...