1585 search results - page 106 / 317 » A framework for computer-aided validation |
130
click to vote
FIW
2003
15 years 4 months ago
2003
SERL is a language and framework for managing the triggering and execution of services in a single-user, single-network-component (SUSC) environment. We propose enhancements to SER...
126
click to vote
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
Ranking microblogs, such as tweets, as search results for a query is challenging, among other things because of the sheer amount of microblogs that are being generated in real time...
120
Voted
HICSS
2012
IEEE
13 years 11 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
155
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
210
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....