2135 search results - page 230 / 427 » An Operational Semantics for JavaScript |
131
click to vote
COMPSAC
2009
IEEE
15 years 10 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...
116
Voted
ISDA
2009
IEEE
15 years 10 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...
134
Voted
TPHOL
2009
IEEE
15 years 10 months 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...
119
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
127
click to vote
ACMICEC
2006
ACM
15 years 9 months ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...