1580 search results - page 95 / 316 » Non-Interference Through Determinism |
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
EVOW
2009
Springer
14 years 4 months ago
2009
Springer
We consider a real-world problem arising in a warehouse for spare parts. Items ordered by customers shall be collected and for this purpose our task is to determine efficient picku...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
A key step in the process of lip-reading is determining the shape of the speaker’s lips. This has previously been achieved through an energy method known as “snakes”, howeve...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Modulation filtering is a technique for filtering slowly-varying envelopes of frequency subbands of a nonstationary signal, ideally without affecting the signal’s phase and ...