8446 search results - page 1036 / 1690 » A Process Compensation Language |
313
Voted
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
175
Voted
ICML
2003
IEEE
16 years 8 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
183
Voted
WWW
2009
ACM
16 years 8 months ago
2009
ACM
The performance of server-side applications is becoming increasingly important as more applications exploit the Web application model. Extensive work has been done to improve the ...
172
Voted
WWW
2006
ACM
16 years 8 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
320
Voted
PADL
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...