2514 search results - page 438 / 503 » The use of industrial-strength formal methods |
130
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
162
click to vote
IDA
2005
Springer
15 years 11 months ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
150
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
152
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
158
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...