Sciweavers

2326 search results - page 269 / 466
» Discovering significant patterns
Sort
View
SCAM
2008
IEEE
16 years 27 days ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
GLOBECOM
2006
IEEE
16 years 17 days ago
A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture
- In the next generation Internet, the network should evolve from a plain communication medium into an endless source of services available to the end-systems. We name these servic...
Thierry Rakotoarivelo, Patrick Sénac, Aruna...
ICITA
2005
IEEE
16 years 3 days ago
Managing the Co-Existing Network of IPv6 and IPv4 under Various Transition Mechanisms
Even though IPv6 has been developed for more than a decade, IPv4 is still the most commonly adopted network protocol. However, the significant changes in the new version may cause...
I-Ping Hsieh, Shang-Juh Kao
MOBIQUITOUS
2005
IEEE
16 years 3 days ago
A SIP-based Architecture model for Contextual Coalition Access Control for Ubiquitous Computing
A significant deterrent to the ability to connect in a spontaneous manner in cross-enterprise collaborative applications is the difficulty in users from different domains being ab...
Ramiro Liscano, Kaining Wang
MOBIDE
2005
ACM
16 years 2 days ago
Tolerance of localization imprecision in efficiently managing mobile sensor databases
Query processing on mobile sensor networks requires efficient indexing and partitioning of the data space to support efficient routing as the network scales up. Building an index ...
Lin Xiao, Aris M. Ouksel