2826 search results - page 244 / 566 » A resource-based analysis of IT sourcing |
196
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
184
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
160
Voted
AUTOMATICA
1999
15 years 6 months ago
1999
This paper deals with the optimization of the observer trajectory for target motion analysis. The observations are made of estimated bearings. The problem consists in determining ...
180
Voted
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
The sounds generated by a writing instrument provide a rich and under-utilized source of information for pattern recognition. We examine the feasibility of recognition of handwrit...
165
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...