8828 search results - page 1264 / 1766 » Formal methods in practice |
238
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
189
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Strategic Business and IT Alignment (SBITA) is still ranked amongst the top concerns of the enterprise’s management executives. Such alignment is an organization-wide issue that...
167
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a method for desirably redistributing a wireless sensor network’s energy consumption from its sensor nodes (which may have scarce energy resources o...
164
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
171
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...