3771 search results - page 283 / 755 » Process modeling for future technologies |
163
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
146
Voted
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
An increasing computational demand is placed on the image processing capacity of current and future smart cameras. SIMD processor architectures provide an efficient solution becau...
134
Voted
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
133
Voted
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
People meet in order to interact - disseminating information, making decisions, and creating new ideas. Automatic analysis of meetings is therefore important from two points of vie...
135
click to vote
DMSN
2008
ACM
15 years 6 months ago
2008
ACM
With the ultimate goal of extending the data integration paradigm and query processing capabilities to ad hoc wireless networks, sensors, and stream systems, we consider how to su...