3801 search results - page 326 / 761 » An Approach to Modeling Software Safety |
291
click to vote
ICOODB
2010
15 years 4 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
202
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
312
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
168
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
Motivation: Genome maps are fundamental to the study of an organism and essential in the process of genome sequencing which in turn provides the ultimate map of the genome. The in...
177
click to vote
CLEF
2007
Springer
16 years 25 days ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...