11436 search results - page 203 / 2288 » Modeling Real Reasoning |
212
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
137
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
102
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...
116
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
120
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...