3233 search results - page 273 / 647 » Rule Modeling and Markup |
164
click to vote
WSC
1998
15 years 8 months ago
1998
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
157
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
164
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
142
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...