860 search results - page 118 / 172 » A Process Algebra Based Verification of a Production System |
ACSW
2006
13 years 10 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
MM
1996
ACM
14 years 1 months ago
1996
ACM
Processing digital video directly in the compressed domain has many advantages in terms of storage efficiency, speed, and video quality. We have developed a compressed video editi...
EICS
2009
ACM
14 years 26 days ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
SPEECH
2010
13 years 3 months ago
2010
The possibility of speech processing in the absence of an intelligible acoustic signal has given rise to the idea of a `silent speech' interface, to be used as an aid for the...