7080 search results - page 869 / 1416 » Designing High Integrity Systems Using Aspects |
211
click to vote
FOIS
2006
15 years 8 months ago
2006
The world of ontology development is full of mysteries. Recently, ISO Standard 15926 ("Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities&...
152
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
A fundamental premise of tagging systems is that regular users can organize large collections for browsing and other tasks using uncontrolled vocabularies. Until now, that premise...
193
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
186
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
256
click to vote
AVBPA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...