1888 search results - page 151 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
105
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
129
click to vote
DASIP
2010
14 years 10 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
145
click to vote
PARELEC
2000
IEEE
15 years 8 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
157
Voted
INTERSPEECH
2010
14 years 10 months ago
2010
We have developed an automated method that predicts the word accuracy of a speech recognition system for non-native speech, in the context of speaking proficiency scoring. A model...
162
click to vote
USS
2004
15 years 5 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...