10038 search results - page 1785 / 2008 » Model Checking for Managers |
144
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
Image annotation plays an important role in image retrieval and management. However, the results of the state-of-the-art image annotation methods are often unsatisfactory. Therefo...
118
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
136
Voted
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
Science is increasingly driven by data collected automatically from arrays of inexpensive sensors. The collected data volumes require a different approach from the scientists'...
121
click to vote
WIKIS
2006
ACM
15 years 11 months ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...
136
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...