3801 search results - page 501 / 761 » An Approach to Modeling Software Safety |
169
click to vote
CBSE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
189
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
158
click to vote
PAMI
1998
15 years 6 months ago
1998
—Visualization has proven to be a powerful and widely-applicable tool for the analysis and interpretation of multivariate data. Most visualization algorithms aim to find a projec...
196
click to vote
SPEECH
2010
15 years 1 months ago
2010
act 11 We analyze and compare two different methods for unsupervised extractive spontaneous speech summarization in the meeting 12 domain. Based on utterance comparison, we introdu...