Sciweavers

546 search results - page 45 / 110
» An Action Semantics for MML
Sort
View
VL
1997
IEEE
151views Visual Languages» more  VL 1997»
15 years 5 months ago
A Structured Interactive Workspace for a Visual Configuration Language
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
Jean-Yves Vion-Dury, François Pacull
JLP
2007
74views more  JLP 2007»
15 years 1 months ago
Linearity and bisimulation
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
Nobuko Yoshida, Kohei Honda, Martin Berger
CIB
2005
101views more  CIB 2005»
15 years 1 months ago
Association-Based Segmentation for Chinese-Crossed Query Expansion
The continually and high-rate growth of China's economy has attracted more and more international investors. These investors have an urgent need of identifying patterns in Chi...
Chengqi Zhang, Zhenxing Qin, Xiaowei Yan
HCI
2009
14 years 11 months ago
OntoDesk: Ontology-Based Persistent System-Wide Undo on the Desktop
Recovery is an important aspect of user experience. However, current desktop environments lack a system-wide undo facility. OntoDesk is an ontology-based experimental desktop syste...
David Nemeskey, Buntarou Shizuki, Jiro Tanaka
TCGOV
2005
Springer
15 years 7 months ago
Towards a Semantically-Driven Software Engineering Environment for eGovernment
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
Dimitris Apostolou, Ljiljana Stojanovic, Tom&aacut...