3555 search results - page 548 / 711 » Security-Critical System Development with Extended Use Cases |
136
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
115
click to vote
PREMI
2005
Springer
15 years 9 months ago
2005
Springer
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
134
click to vote
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
128
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
109
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
As modern organizations increasingly operate in a global economy, they need IT support around the globe; favorable economic conditions also encourage the use of offshore IT teams....