19367 search results - page 398 / 3874 » Fine-Grain Process Modelling |
169
click to vote
ICVS
2001
Springer
15 years 9 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
168
Voted
BPM
2009
Springer
15 years 5 months ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...
134
Voted
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
152
click to vote
SECON
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
130
click to vote
FCCM
2005
IEEE
15 years 10 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...