88 search results - page 3 / 18 » Detecting model inconsistency through operation-based model ... |
IWNAS
2008
IEEE
14 years 1 months ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
COMPSAC
2002
IEEE
14 years 12 days ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
TR
2010
13 years 2 months ago
2010
This paper investigates the use of a one-class support vector machine algorithm to detect the onset of system anomalies, and trend output classification probabilities, as a way to ...
KBS
2002
13 years 7 months ago
2002
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
OOPSLA
2005
Springer
14 years 28 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...