3256 search results - page 459 / 652 » Applications of Formal Methods to System Design and Verifica... |
175
click to vote
AIMSA
2006
Springer
15 years 9 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
155
click to vote
DRM
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
160
click to vote
APCCM
2006
15 years 6 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
152
click to vote
DSD
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
159
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...