2586 search results - page 495 / 518 » Automatic Abstraction for Congruences |
ICFP
2007
ACM
15 years 1 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
DIAL
2004
IEEE
15 years 1 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
CGI
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
151
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
DASFAA
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...