2106 search results - page 156 / 422 » Operational Semantics for MSC'96 |
137
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
151
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
156
click to vote
COMPSAC
2009
IEEE
16 years 17 days 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...
156
click to vote
ISDA
2009
IEEE
16 years 13 days ago
2009
IEEE
For supervised learning, feature selection algorithms attempt to maximise a given function of predictive accuracy. This function usually considers the ability of feature vectors t...
162
click to vote
TPHOL
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...