5377 search results - page 310 / 1076 » Programming Languages For Interactive Computing |
182
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
351
click to vote
CSEE
2011
Springer
14 years 10 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
164
click to vote
IEEESCC
2007
IEEE
16 years 26 days ago
2007
IEEE
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...
185
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
284
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...