4163 search results - page 586 / 833 » Enhancing surgical systems |
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
LISA
2007
14 years 1 months ago
2007
Firewalls have an important role in network security. However, managing firewall policies is an extremely complex task because the large number of interacting rules in single or d...
APSCC
2008
IEEE
14 years 25 days ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
CF
2008
ACM
14 years 24 days ago
2008
ACM
Recent advent of the asymmetric multi-core processors such as Cell Broadband Engine (Cell/BE) has popularized the use of heterogeneous architectures. A growing body of research is...
CPAIOR
2008
Springer
14 years 18 days ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...