2639 search results - page 429 / 528 » Improving Web Design Methods with Architecture Modeling |
144
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
148
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
147
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
281
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
The wide popularity of free-and-easy keyword based searches over World Wide Web has fueled the demand for incorporating keyword-based search over structured databases. However, mo...
137
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...