2171 search results - page 249 / 435 » A Generic Process Algebra |
128
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...
141
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
119
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
A video Cut Detector (CD), a member of the Shot Boundary Detector (SBD) group, is an essential element for spatio-temporal audiovisual (AV) segmentation and various video-processi...
139
click to vote
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
147
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...