4469 search results - page 86 / 894 » A Language for Role Specifications |
122
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
129
Voted
IJEIS
2010
15 years 1 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
123
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The increasingly high penetration rate of mobile phones and the consequent exposure of subscribers to mobile technology present high hopes for the adoption of mobile commerce. Are...
108
click to vote
ISMVL
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
125
click to vote
LREC
2010
15 years 5 months ago
2010
This paper presents a preliminary analysis of the role of some discourse markers and the vocalic hesitation euh in a corpus of spoken human utterances collected with the RITEL sys...