3244 search results - page 145 / 649 » Extensions to Description Logics |
159
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
179
click to vote
CSL
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
160
click to vote
CCECE
2006
IEEE
16 years 12 days ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
164
click to vote
ICMCS
2006
IEEE
16 years 11 days ago
2006
IEEE
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...
164
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...