4008 search results - page 470 / 802 » An expressive language of signatures |
158
click to vote
JNCA
2007
15 years 6 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
214
click to vote
DEBU
2002
15 years 6 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
142
click to vote
JOT
2002
15 years 6 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
155
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
171
click to vote
CACM
2008
15 years 5 months ago
2008
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...