25112 search results - page 4913 / 5023 » Data, Information, and Knowledge |
149
click to vote
ISCC
2007
IEEE
16 years 21 days ago
2007
IEEE
The Internet has grown tremendously in terms of the number of users who rely on it and the number of organizations that are connected to it. Characterizing how this growth affects...
189
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
173
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
—This paper presents a downlink performance analysis of a Layered Random Beamforming (LRB) - MIMO-OFDMA Physical Layer (PHY) as applicable to future generation wireless communica...
165
click to vote
ADBIS
2007
Springer
16 years 18 days ago
2007
Springer
Contemporary information systems are replete with log files, created in multiple places (e.g., network servers, database management systems, user monitoring applications, system se...
177
click to vote
APN
2007
Springer
16 years 18 days ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...