3555 search results - page 347 / 711 » Security-Critical System Development with Extended Use Cases |
217
click to vote
CR
2001
15 years 8 months ago
2001
We describe an ontology for WWW summarization in Bone Marrow Transplantation that is currently under construction. It is text-based and qualifies as a grounded ontology. In additi...
166
click to vote
ICDCS
2005
IEEE
16 years 9 days ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
163
click to vote
SAINT
2006
IEEE
16 years 21 days ago
2006
IEEE
Video communication is being popular by spreading broadband networks. Realization of this kind of communications is important to deploy IPv6. However, many almost of commercial vi...
187
click to vote
SERP
2004
15 years 8 months ago
2004
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
194
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...