2393 search results - page 412 / 479 » Cloud Service Engineering |
157
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
145
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...
133
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
156
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
121
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Privacy, its violations and techniques to circumvent privacy violation have grabbed the centre-stage of both academia and industry in recent months. Corporations worldwide have be...