2858 search results - page 102 / 572 » Logics with Aggregate Operators |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Reconfigurable computing applications have traditionally had the exclusive use of the field programmable gate array, primarily because the logic densities of the available devices...
ICEIS
2002
IEEE
14 years 1 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
WSC
2007
13 years 11 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
ER
2008
Springer
13 years 10 months ago
2008
Springer
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...