4629 search results - page 429 / 926 » Space Kernel Analysis |
167
click to vote
CASSIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
192
click to vote
WABI
2005
Springer
16 years 7 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
161
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...
172
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
211
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This work introduces a new analytical method for performance evaluation of wireless packet-oriented networks. Unlike traditional call admission control procedures commonl...