3400 search results - page 376 / 680 » tools 2008 |
183
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
177
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
203
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
147
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
Automating tools for geo-locating and geo-orienting static cameras is a key step in creating a useful global imaging network from cameras attached to the Internet. We present algo...
178
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...