Sciweavers

1559 search results - page 211 / 312
» Fundamentals of Generic Programming
Sort
View
DSS
2006
95views more  DSS 2006»
14 years 10 months ago
On the computability of agent-based workflows
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
Wai Yin Mok, Prashant Palvia, David Paper
ENTCS
2007
112views more  ENTCS 2007»
14 years 9 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
FTEDA
2007
156views more  FTEDA 2007»
14 years 9 months ago
FPGA Architecture: Survey and Challenges
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their archite...
Ian Kuon, Russell Tessier, Jonathan Rose
EL
2002
134views more  EL 2002»
14 years 9 months ago
Security issues in online games
The traditional target of computer game security is mainly copy protection. The emergence of online games fundamentally changes the security requirements for computer games. Althou...
Jianxin Jeff Yan, Hyun-Jin Choi
CN
1998
73views more  CN 1998»
14 years 9 months ago
Intermediaries: New Places for Producing and Manipulating Web Content
We propose a new approach to programming web applications that increases the web's computational power, the web's flexibility, and web programmer productivity. Whereas w...
Rob Barrett, Paul P. Maglio