2741 search results - page 451 / 549 » Engineering Mathematical Knowledge |
163
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Multi-objective optimization is an essential and challenging topic in the domains of engineering and computation because real-world problems usually include several conflicting...
143
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—During the past decade, the packet classification problem has been widely studied to accelerate network applications such as access control, traffic engineering and intrusion de...
139
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
140
click to vote
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the properties of embeddings, multicommodity flows, and sparse cuts in minor-closed families of graphs which are also closed under 2-sums; this includes planar graphs, g...
146
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...