4693 search results - page 727 / 939 » Verifying Hybrid Systems |
158
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
179
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
210
click to vote
ACHI
2010
IEEE
16 years 25 days ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
149
click to vote
ICDE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—A text filtering system monitors a stream of incoming documents, to identify those that match the interest profiles of its users. The user interests are registered at ...
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
—Future computing systems will feature many cores that run fast, but might show more faults compared to existing CMOS technologies. New software methodologies must be adopted to ...