809 search results - page 134 / 162 » Requirements by Contracts allow Automated System Testing |
MP
2010
14 years 10 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Dynamic positioning is an important application for marine vehicles that do not have the luxury of anchoring or mooring themselves. Such vehicles are usually large and have arr...
104
click to vote
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
The main barriers to the level of electronic data interchange required to seamlessly integrate services offered by legacy systems in an Internet environment are the need for appli...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. From a security standpoint, it is preferable to implement least privilege network security policies in which only the bare minimum of TCP/UDP ports on internal hosts are ...