2036 search results - page 335 / 408 » A generic type-and-effect system |
CP
2001
Springer
15 years 5 months ago
2001
Springer
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...
85
Voted
WEBENG
2001
Springer
15 years 5 months ago
2001
Springer
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...
176
click to vote
AIWORC
2000
IEEE
15 years 5 months ago
2000
IEEE
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...
117
Voted
FCCM
2000
IEEE
15 years 5 months ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
101
Voted
SAC
2000
ACM
15 years 5 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...