10159 search results - page 435 / 2032 » System Design Validation Using Formal Models |
168
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
131
Voted
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
The Internet and the devices that connect to it consume a growing and significant amount of electricity. The utilization of desktop to switch Ethernet links is generally very low ...
148
click to vote
P2P
2007
IEEE
15 years 11 months ago
2007
IEEE
Maintaining desired data availability while minimizing costs is the primary challenge in designing P2P storages. Data placement schemes and data availability calculation methods a...
150
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
140
click to vote
TIM
2011
14 years 11 months ago
2011
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...