5128 search results - page 141 / 1026 » When Abstraction Fails |
198
click to vote
SCIA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
152
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
194
click to vote
ICEIS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract. Network Intrusion Detection Systems (NIDS) aim at preventing network attacks and unauthorised remote use of computers. More accurately, depending on the kind of attack it...
148
click to vote
INFOCOM
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—In order to improve scalability and reduce maintenance overhead for structured Peer-to-Peer systems, researchers design optimal architectures with constant degree and lo...
163
click to vote
ISSRE
2008
IEEE
16 years 21 days ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...