409 search results - page 1 / 82 » An Algorithm for Isolating the Real Solutions of Semi-algebr... |
JSC
2002
13 years 5 months ago
2002
CORR
2011
Springer
13 years 14 days ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
ACSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...
RTCSA
2009
IEEE
14 years 5 days ago
2009
IEEE
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...
GI
2000
Springer
13 years 9 months ago
2000
Springer
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...