8190 search results - page 1557 / 1638 » From Timed to Hybrid Systems |
166
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
161
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
171
click to vote
INEX
2004
Springer
15 years 11 months ago
2004
Springer
An interactive track was included in INEX for the first time in 2004. The main aim of the track was to study the behaviour of searchers when interacting with components of XML doc...
298
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
169
click to vote
ETRA
2010
ACM
15 years 11 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...