10038 search results - page 1841 / 2008 » Model Checking for Managers |
121
click to vote
CIMAGING
2010
15 years 5 months ago
2010
As concern for obesity grows, the need for automated and accurate methods to monitor nutrient intake becomes essential as dietary intake provides a valuable basis for managing die...
158
click to vote
BIS
2007
15 years 5 months ago
2007
Business intelligence requires the collecting and merging of information from many different sources, both structured and unstructured, in order to analyse for example financial ...
138
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
139
click to vote
LREC
2010
15 years 5 months ago
2010
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...
142
click to vote
SPLC
2010
15 years 5 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...