2501 search results - page 265 / 501 » Obligations and Their Interaction with Programs |
125
click to vote
SLE
2009
Springer
16 years 21 days ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
147
Voted
UM
2009
Springer
16 years 21 days ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
147
click to vote
APLAS
2009
ACM
16 years 20 days ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
170
click to vote
ACSD
2008
IEEE
16 years 19 days ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
176
click to vote
ICDIM
2007
IEEE
16 years 14 days ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...