15660 search results - page 217 / 3132 » The Unbalance of Set Systems |
170
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—One of the major problems due to denial of service attacks is the identification of fault packets. To resolve this problem, several IP traceback methods have been defined. In th...
166
Voted
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Dynamic real-time systems require adaptive resource management to accommodate varying processing needs. We address the problem of resource management with multiple shared resource...
178
click to vote
EWSA
2004
Springer
16 years 3 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
151
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
176
click to vote
PKDD
2004
Springer
16 years 2 days ago
2004
Springer
We present SEWeP, a Web Personalization prototype system that integrates usage data with content semantics, expressed in taxonomy terms, in order to produce a broader yet semantica...