2249 search results - page 83 / 450 » ILP-based engineering change |
SAFECOMP
2009
Springer
15 years 7 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
98
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Information technology (IT) advances often create turmoil and disturb existing industry structures. We analyze the impact of the Internet and e-commerce technologies on digital int...
129
Voted
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
ACG
2006
Springer
15 years 6 months ago
2006
Springer
A plethora of enhancements are available to be used together with the αβ search algorithm. There are so many, that their selection and implementation is a non-trivial task, even ...
105
click to vote
MOBIDE
2006
ACM
15 years 6 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...