593 search results - page 70 / 119 » An approach to benchmarking configuration complexity |
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
ECBS
2010
IEEE
14 years 1 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
DSOM
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
CHARME
1997
Springer
14 years 12 days ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
COLING
1996
13 years 10 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...