10038 search results - page 452 / 2008 » Model Checking for Managers |
149
click to vote
EEE
2005
IEEE
16 years 19 days ago
2005
IEEE
The development and wider use of wireless networks and mobile devices has led to novel pervasive computing environments which pose new problems for software rights management and ...
153
click to vote
EDOC
2002
IEEE
15 years 12 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
182
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
To truly meet the requirements of multimedia database (MMDB) management, an integrated framework for modeling, managing and retrieving various kinds of media data in a uniform way...
187
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
199
click to vote
ICUIMC
2009
ACM
16 years 1 months ago
2009
ACM
Earth observation technologies have developed rapidly during the last decades. Substantial amounts of earth observation data have been acquired and stored among the literature and...