2312 search results - page 333 / 463 » Invariance in Property Testing |
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
SSDBM
1997
IEEE
14 years 2 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
CONCUR
1994
Springer
14 years 2 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
AMS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...
CANDC
2007
ACM
14 years 2 months ago
2007
ACM
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...