11653 search results - page 2139 / 2331 » The Development of the C Language |
171
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
155
Voted
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Cross-site scripting (or XSS) has been the most dominant class of web vulnerabilities in 2007. The main underlying reason for XSS vulnerabilities is that web markup and client-sid...
157
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
141
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
146
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...