1988 search results - page 284 / 398 » Engineering formal metatheory |
147
click to vote
ERLANG
2006
ACM
16 years 12 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
165
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
151
click to vote
IUI
2006
ACM
16 years 12 days ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
177
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
151
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...