1663 search results - page 176 / 333 » Description Logics for Interoperability |
130
click to vote
FOSAD
2005
Springer
15 years 10 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
154
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
134
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
97
Voted
AAAI
2008
15 years 7 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...