5344 search results - page 157 / 1069 » Privacy-Preserving Set Operations |
247
click to vote
ICDE
2008
IEEE
16 years 7 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...
152
click to vote
CSL
2009
Springer
16 years 29 days 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...
150
click to vote
SLE
2009
Springer
16 years 28 days 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...
165
click to vote
INFOCOM
2007
IEEE
16 years 21 days 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...
140
click to vote
DATE
2010
IEEE
15 years 11 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...