1829 search results - page 142 / 366 » Towards Validation of Requirements Models |
208
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
174
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
192
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
235
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
203
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...