5247 search results - page 773 / 1050 » The Generalized A* Architecture |
205
click to vote
SLIP
2004
ACM
16 years 5 days ago
2004
ACM
Throughput, power consumption, signal integrity, pin count and routing complexity are all increasingly important interconnect issues that the system designer must deal with. Recen...
167
click to vote
WIDM
2004
ACM
16 years 5 days ago
2004
ACM
Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent develo...
158
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
140
Voted
CCS
2004
ACM
16 years 4 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
191
Voted
E4MAS
2004
Springer
16 years 4 days ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...