5718 search results - page 387 / 1144 » Modeling Rule Precision |
170
click to vote
DATE
2006
IEEE
16 years 26 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...
147
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...
179
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
177
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
187
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...