1297 search results - page 232 / 260 » Control of systems integrating logic, dynamics, and constrai... |
111
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
118
click to vote
LAWEB
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
127
click to vote
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
106
click to vote
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
ECAI
1994
Springer
15 years 5 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...