950 search results - page 127 / 190 » Tool Support for Model Checking of Web Application Designs |
127
click to vote
SIPS
2006
IEEE
15 years 9 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
144
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
In this study, a novel multidimensional time series classification technique, namely support feature machine (SFM), is proposed. SFM is inspired by the optimization model of suppo...
227
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
157
Voted
HIPC
2007
Springer
15 years 7 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
126
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...