2496 search results - page 321 / 500 » Error-detecting properties of languages |
125
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
158
click to vote
ICDAR
2007
IEEE
15 years 11 months ago
2007
IEEE
Using a lexicon can often improve character recognition under challenging conditions, such as poor image quality or unusual fonts. We propose a flexible probabilistic model for c...
137
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
165
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
146
click to vote
ASIAN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...