Sciweavers

4139 search results - page 555 / 828
» Designing and Implementing Combinator Languages
Sort
View
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
15 years 11 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
ADC
2007
Springer
107views Database» more  ADC 2007»
15 years 11 months ago
A Processing Model for the Optimal Querying of Encrypted XML Documents in XQuery
XQuery is a powerful and convenient language that is designed for querying the data in XML documents. In this paper, we address how to optimally query encrypted XML documents usin...
Tao-Ku Chang, Gwan-Hwan Hwang
CONTEXT
2007
Springer
15 years 11 months ago
Delimited Continuations in Operating Systems
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
Oleg Kiselyov, Chung-chieh Shan
ICESS
2007
Springer
15 years 11 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
IFIP
2007
Springer
15 years 11 months ago
Semantic Context Reasoning Using Ontology Based Models
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...