5718 search results - page 766 / 1144 » Modeling Rule Precision |
206
Voted
FMICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
196
Voted
ICDT
1995
ACM
15 years 11 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
207
Voted
AIPS
2008
15 years 10 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
178
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
197
Voted
FM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...