2173 search results - page 238 / 435 » An operational semantics for skeletons |
108
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
88
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
104
Voted
ACMICEC
2006
ACM
15 years 6 months ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
100
Voted
ISDA
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present an approach to sharing a user model among several adaptive hypermedia applications. Current adaptive hypermedia applications often realize the user model ...
83
Voted
MINENET
2005
ACM
15 years 6 months ago
2005
ACM
Enterprise networks contain hundreds, if not thousands, of cooperative end-systems. We advocate devoting a small fraction of their idle cycles, free disk space and network bandwid...