3387 search results - page 203 / 678 » Model-Checking for Real-Time Systems |
154
click to vote
WECWIS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In today's competitive environment, analysing data to predict market trends of products and services and to improve the performance of enterprise systems is an essential b...
188
click to vote
ACIVS
2006
Springer
16 years 1 months ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...
210
Voted
HICSS
2005
IEEE
16 years 18 days ago
2005
IEEE
Association rule mining in real-time is of increasing thrust in many business applications. Applications such as e-commerce, recommender systems, supply-chain management and group...
235
Voted
RTSS
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
170
click to vote
DATE
2003
IEEE
16 years 9 days ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...