Sciweavers

2226 search results - page 24 / 446
» Pdk: The System and Its Language
Sort
View
COORDINATION
2000
Springer
15 years 5 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
VL
1998
IEEE
104views Visual Languages» more  VL 1998»
15 years 6 months ago
Automatically Generating Environments for Dynamic Diagram Languages
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...
Mark Minas
81
Voted
LREC
2010
123views Education» more  LREC 2010»
15 years 3 months ago
Examining the Effects of Rephrasing User Input on Two Mobile Spoken Language Systems
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
Nikos Tsourakis, Agnes Lisowska, Manny Rayner, Pie...
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 1 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
119
Voted
SP
2003
IEEE
116views Security Privacy» more  SP 2003»
15 years 7 months ago
Garbage Collector Memory Accounting in Language-Based Systems
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
David W. Price, Algis Rudys, Dan S. Wallach