5344 search results - page 157 / 1069 » Privacy-Preserving Set Operations |
205
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Traditional approaches to rule-based information extraction (IE) have primarily been based on regular expression grammars. However, these grammar-based systems have difficulty scal...
111
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
117
Voted
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
113
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
101
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...