10038 search results - page 1717 / 2008 » Model Checking for Managers |
167
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
190
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
177
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
190
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
182
click to vote
ISD
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...