2173 search results - page 237 / 435 » An operational semantics for skeletons |
108
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...
88
Voted
ICFP
2007
ACM
16 years 20 days 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...
102
Voted
PLDI
2009
ACM
15 years 7 months 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...
110
Voted
COMPSAC
2009
IEEE
15 years 7 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...
ISDA
2009
IEEE
15 years 7 months 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...