546 search results - page 45 / 110 » An Action Semantics for MML |
131
click to vote
VL
1997
IEEE
15 years 5 months ago
1997
IEEE
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...
106
click to vote
JLP
2007
15 years 1 months ago
2007
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...
CIB
2005
15 years 1 months ago
2005
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...
HCI
2009
14 years 11 months ago
2009
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...
125
click to vote
TCGOV
2005
Springer
15 years 7 months ago
2005
Springer
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...