1981 search results - page 233 / 397 » The State of Change: A Survey |
148
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
167
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
147
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
126
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
There have been many investigations of the mutual synchronization of oscillators. In this study we consider N oscillators which have the same natural frequency, mutually coupled b...
186
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...