15253 search results - page 151 / 3051 » Integer-Programming Software Systems |
171
click to vote
ISPE
2003
15 years 6 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
143
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
165
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
146
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
151
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...