Sciweavers

1742 search results - page 183 / 349
» An Applicative Module Calculus
Sort
View
JSS
2008
136views more  JSS 2008»
15 years 18 days 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...
105
Voted
ENTCS
2007
104views more  ENTCS 2007»
15 years 18 days 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»
15 years 17 days 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»
15 years 17 days 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...
102
Voted
AIEDU
2004
95views more  AIEDU 2004»
15 years 16 days 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