3435 search results - page 188 / 687 » Aspect Model Unweaving |
181
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Mobile commerce (m-Commerce), which allows for anytime/anywhere access to information and services, shows great potential. Ubiquitous access to information systems is critical to e...
142
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
171
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
219
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Building classification models plays an important role in DNA mircroarray data analyses. An essential feature of DNA microarray data sets is that the number of input variables (gen...
182
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...