2514 search results - page 438 / 503 » The use of industrial-strength formal methods |
149
click to vote
FORMATS
2005
Springer
16 years 11 days 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 ...
182
click to vote
IDA
2005
Springer
16 years 10 days 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...
169
click to vote
OTM
2005
Springer
16 years 9 days 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...
163
click to vote
ISSTA
2004
ACM
16 years 8 days 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...
169
click to vote
CAISE
2004
Springer
16 years 7 days 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...