1928 search results - page 56 / 386 » Integrity Constraints in OWL |
ICTAI
2005
IEEE
15 years 5 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
— The three traditional objectives of computer security are confidentiality, integrity and availability [8]. Availability can be defined as the prevention of denial of service. C...
113
click to vote
IMCSIT
2010
14 years 9 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
178
click to vote
NFM
2011
14 years 6 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
OTM
2009
Springer
15 years 6 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...