Sciweavers

5628 search results - page 896 / 1126
» Data challenges at Yahoo!
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
FAC
2008
80views more  FAC 2008»
15 years 6 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
FGCS
2008
159views more  FGCS 2008»
15 years 6 months ago
Access control management for ubiquitous computing
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
Hua Wang, Yanchun Zhang, Jinli Cao
BMCBI
2006
124views more  BMCBI 2006»
15 years 6 months ago
Predicting transcription factor binding sites using local over-representation and comparative genomics
Background: Identifying cis-regulatory elements is crucial to understanding gene expression, which highlights the importance of the computational detection of overrepresented tran...
Matthieu Defrance, Hélène Touzet
CGF
2006
146views more  CGF 2006»
15 years 6 months ago
Principles and Applications of Computer Graphics in Medicine
The medical domain provides excellent opportunities for the application of computer graphics, visualization and virtual environments, with the potential to help improve healthcare...
F. P. Vidal, Fernando Bello, Ken W. Brodlie, Nigel...