22114 search results - page 336 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
213
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
178
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
176
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present a clustering-based method for representing semantic concepts on multimodal low-level feature spaces and study the evaluation of the goodness of such model...
213
click to vote
EMISA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
208
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...