3806 search results - page 254 / 762 » The Power of Process |
151
click to vote
AVSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Video surveillance is a key technology for enhanced protection of facilities such as airports and power stations from various types of threat. Networks of thousands of IP-based ca...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
168
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Workflow management technology has evolved from efficiency-oriented process automation tools to knowledge network building and support systems. This paper presents a workflow mana...
170
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
147
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...