932 search results - page 67 / 187 » Verifying Progress in Timed Systems |
182
click to vote
TPCTC
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Event Processing (EP) systems are being progressively used in business critical applications in domains such as algorithmic trading, supply chain management, production m...
143
click to vote
IWPC
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper, we present an approach that examines the evolution of code stored in source control repositories. The technique identifies Change Clusters, which can help managers...
136
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
In a combined negotiation in e-commerce, the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are inde...
191
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
146
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...