2796 search results - page 232 / 560 » A time structure based software reliability model |
172
click to vote
SCOPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
235
click to vote
GIS
2003
ACM
16 years 5 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...
141
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
123
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
140
click to vote
JNCA
2007
15 years 4 months ago
2007
Web portals today offer a variety of content and services to their users. This content can be split into various categories and usually content semantically related is placed in t...