3943 search results - page 579 / 789 » Architecture-Level Requirements Specification |
170
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
159
click to vote
IJHPCA
2006
15 years 6 months ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
181
click to vote
ITIIS
2008
15 years 6 months ago
2008
Nowadays, wireless packet data services are provided over Wireless MAN (WMAN) at a high data service rate, while 3G cellular networks provide wide-area coverage at a low data serv...
170
click to vote
COMSIS
2007
15 years 6 months ago
2007
Real-time human tracking is very important in surveillance and robot applications. We note that the performance of any human tracking system depends on its accuracy and its ability...
169
click to vote
JCP
2008
15 years 6 months ago
2008
A huge application domain, in particular, wireless and handheld devices strongly requires flexible and powerefficient hardware with high performance. This can only be achieved with...