2136 search results - page 230 / 428 » A Game-Theoretic Operational Semantics |
174
click to vote
TPHOL
2009
IEEE
16 years 1 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...
153
click to vote
ICMCS
2006
IEEE
16 years 18 days 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 ...
176
click to vote
ACMICEC
2006
ACM
16 years 16 days 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...
163
click to vote
ISDA
2005
IEEE
16 years 4 days 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 ...
134
click to vote
MINENET
2005
ACM
16 years 4 days 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...