1992 search results - page 300 / 399 » Model Based Testing with Labelled Transition Systems |
119
click to vote
SOSP
2009
ACM
16 years 4 days ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...
126
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
152
click to vote
KRMED
2008
15 years 4 months ago
2008
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...
144
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
138
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...