2153 search results - page 188 / 431 » From Requirements Models to Formal Specifications in B |
173
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
171
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
165
click to vote
VAMOS
2007
Springer
16 years 17 days ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
163
click to vote
ISMAR
2005
IEEE
16 years 2 days ago
2005
IEEE
A method is presented to rapidly incorporate real objects into virtual environments using laser scanned 3D models with color-based marker tracking. Both the real objects and their...
133
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...