10038 search results - page 411 / 2008 » Model Checking for Managers |
182
click to vote
ODRL
2004
15 years 8 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
194
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A conventional transaction manager implemented by a database management system (DBMS) was compared against one implemented within an operating system (OS) in a variety of simulate...
199
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
195
click to vote
DOLAP
2004
ACM
16 years 8 days ago
2004
ACM
CRM is a strategy that integrates the concepts of Knowledge Management, Data Mining, and Data Warehousing in order to support the organization’s decision-making process to retai...
204
click to vote
ECRTS
2006
IEEE
16 years 27 days ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...