134 search results - page 23 / 27 » An International Survey of Industrial Applications of Formal... |
FASE
2005
Springer
14 years 18 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
FDG
2009
ACM
13 years 11 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
CSCWD
2008
Springer
13 years 8 months ago
2008
Springer
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...