10159 search results - page 1747 / 2032 » System Design Validation Using Formal Models |
194
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
153
Voted
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
173
click to vote
CMS
2006
15 years 8 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
165
click to vote
WSC
2001
15 years 8 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...
152
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
Document management inside an organization is a complex and broadly scoped problem. This paper approaches the technical and social issues of Intranet document management by develop...