Sciweavers

5722 search results - page 197 / 1145
» the future of experimental research
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
CIDU
2010
15 years 4 months ago
Complex Networks In Climate Science: Progress, Opportunities And Challenges
Networks have been used to describe and model a wide range of complex systems, both natural as well as man-made. One particularly interesting application in the earth sciences is t...
Karsten Steinhaeuser, Nitesh V. Chawla, Auroop R. ...
CNSM
2010
15 years 4 months ago
Decomposition techniques for policy refinement
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandr...
MIG
2010
Springer
15 years 4 months ago
Why Is the Creation of a Virtual Signer Challenging Computer Animation?
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
Nicolas Courty, Sylvie Gibet
IMCSIT
2010
15 years 3 months ago
Selecting the best strategy in a software certification process
In this paper, we propose the use of the pairwise comparisons (PC) method for selection of strategies for software certification. This method can also be used to rank alternative s...
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bo...