6274 search results - page 373 / 1255 » Proofs, Programs, Processes |
221
click to vote
ICVS
2001
Springer
15 years 11 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...
157
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
151
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
159
click to vote
HIPEAC
2009
Springer
16 years 1 months ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
159
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...