7209 search results - page 641 / 1442 » Software Engineering for Multi-Agent Systems |
162
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
152
click to vote
SEM
2004
Springer
15 years 10 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
136
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
157
Voted
ADAEUROPE
2010
Springer
15 years 10 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
161
Voted
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...