5030 search results - page 935 / 1006 » cases 2007 |
97
Voted
PODS
2007
ACM
16 years 28 days ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
132
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
120
click to vote
ICFP
2007
ACM
16 years 22 days ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
103
Voted
ICFP
2007
ACM
16 years 22 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
103
Voted
PERCOM
2007
ACM
16 years 11 days ago
2007
ACM
We consider sensor scheduling as the optimal observability problem for partially observable Markov decision processes (POMDP). This model fits to the cases where a Markov process ...