4007 search results - page 435 / 802 » Automotive Software Integration |
181
Voted
TAPSOFT
1993
Springer
15 years 11 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
189
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
188
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
187
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
161
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...