2446 search results - page 234 / 490 » Principles of dataspace systems |
134
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
152
click to vote
IWINAC
2009
Springer
15 years 12 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
104
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
— One of the main task to be done by a cognitive receiver is to sense its spectral environment in order to distinguish surrounding systems from each others. Actually most systems...
145
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
161
click to vote
IV
2007
IEEE
15 years 11 months ago
2007
IEEE
Images play an important role in visualization. As users are more willing to adopt a product if it evokes pleasurable feelings the aesthetic appeal of interfaces becomes more impo...