2757 search results - page 281 / 552 » On separating systems |
152
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
“Don’t put all your eggs in one basket” is common wisdom with respect to financial portfolio theory. The configuration of customer portfolios with regard to appropriate risk...
142
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we compare the features available for developing secure distributed applications for limited devices, such as smart phones. We limit our scope to examine frameworks...
186
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
183
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
193
click to vote
FUZZIEEE
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...