Sciweavers

1742 search results - page 183 / 349
» An Applicative Module Calculus
Sort
View
JSS
2008
136views more  JSS 2008»
13 years 10 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ENTCS
2007
104views more  ENTCS 2007»
13 years 10 months ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
SCP
2008
144views more  SCP 2008»
13 years 10 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
IJHPCA
2007
116views more  IJHPCA 2007»
13 years 10 months ago
Parallel Languages and Compilers: Perspective From the Titanium Experience
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
Katherine A. Yelick, Paul N. Hilfinger, Susan L. G...
AIEDU
2004
95views more  AIEDU 2004»
13 years 10 months ago
Looking Ahead to Select Tutorial Actions: A Decision-Theoretic Approach
We propose and evaluate a decision-theoretic approach for selecting tutorial actions by looking ahead to anticipate their effects on the student and other aspects of the tutorial s...
R. Charles Murray, Kurt VanLehn, Jack Mostow