2500 search results - page 242 / 500 » Specifying Behavior in C |
141
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
132
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a multi-level selection model in the framework of indirect reciprocity. Using two levels of selection, one at the individual level and another at the group level, we pro...
145
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
115
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
2. Obtain the gray-levelgradient magnitude. 3. Derive the threshold surface by deforming the original image gray-level surface. 4. The thresholdsurface interpolation. 5. Segmentati...
133
click to vote
DSS
2006
15 years 4 months ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...