1511 search results - page 195 / 303 » An approach to control collaborative processes in PLM system... |
180
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
132
click to vote
IVA
2007
Springer
16 years 16 days ago
2007
Springer
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
237
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper presents a biologically motivated model for low and mid-level vision tasks and its interpretation in computer vision terms. Initially we briefly present the biologically...
165
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...