4286 search results - page 512 / 858 » Formalizing Service Interactions |
129
click to vote
JCDL
2003
ACM
15 years 10 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
138
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
141
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
149
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
The availability is often used to measure how well a system can provide the service continuously. The measures of availability for a single computer and for multiple computers are ...
147
click to vote
ACIIDS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...