6059 search results - page 297 / 1212 » A Technique for Verifying Measurements |
160
click to vote
FATES
2004
Springer
16 years 5 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
193
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
235
click to vote
ITRUST
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
153
click to vote
OOPSLA
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de...
170
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...