Sciweavers

4762 search results - page 282 / 953
» About the use of protein models
Sort
View
WS
2010
ACM
15 years 5 months ago
Structured literature image finder: Parsing text and figures in biomedical literature
The SLIF project combines text-mining and image processing to extract structured information from biomedical literature. SLIF extracts images and their captions from published pap...
Amr Ahmed, Andrew Arnold, Luís Pedro Coelho...
CSFW
2009
IEEE
16 years 1 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
PDCAT
2004
Springer
15 years 12 months ago
A Componentized Approach to Grid Enabling Seismic Wave Modeling Application
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
Dheeraj Bhardwaj, Jeremy Cohen, Steve McGough, Ste...
ER
2008
Springer
128views Database» more  ER 2008»
15 years 8 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
BIS
2006
144views Business» more  BIS 2006»
15 years 8 months ago
Complexity Metrics for business Process Models
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
Ralf Laue, Volker Gruhn