1662 search results - page 41 / 333 » Privately Finding Specifications |
129
click to vote
CDC
2009
IEEE
15 years 7 days ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
117
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we described the findings based on a research study on current Enterprise Information Architecture (EIA) practices in Malaysian organizations. Ten organizations from...
132
click to vote
SIGARCH
2008
15 years 2 months ago
2008
1 This paper presents a simple but effective method to reduce on-chip access latency and improve core isolation in CMP Non-Uniform Cache Architectures (NUCA). The paper introduces ...
114
Voted
GRC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes research in methods to discover Web Service Description Language (WSDL) documents. This work extends current discovery research through use of the Google Web ...
105
Voted
MCAM
2007
Springer
15 years 8 months ago
2007
Springer
By reviewing DRMs up to now and two typical examples – AVS DRM and DMP IDP, the paper tries to find out the fundamental challenge of content protection approach from technical an...