15253 search results - page 102 / 3051 » Integer-Programming Software Systems |
144
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
134
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
149
click to vote
ICCBSS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This workshop explores innovative ways of integrating COTS software into software systems for purposes often unimagined by their original designers. It emphasizes tools a...
121
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
178
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...