5744 search results - page 340 / 1149 » System level design, a VHDL based approach |
204
click to vote
FMCO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
188
click to vote
BIOID
2008
15 years 8 months ago
2008
Abstract. Security and privacy issues are considered as two of the major concerns related to the use of biometric data for authentication purposes. In this paper we propose two dif...
194
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
As the abundance of Web services on the World Wide Web increase, designing effective approaches for Web service selection and recommendation has become more and more important. In...
207
click to vote
SE
2007
15 years 8 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
203
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...