Sciweavers

3429 search results - page 123 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
UM
2010
Springer
15 years 27 days ago
Semantically-Enhanced Ubiquitous User Modeling
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
Till Plumbaum
197
Voted
POPL
2005
ACM
16 years 2 months ago
Communicating quantum processes
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
Simon J. Gay, Rajagopal Nagarajan
VMV
2008
197views Visualization» more  VMV 2008»
15 years 4 months ago
1-2-tree: Semantic Modeling and Editing of Trees
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
Björn Ganster, Reinhard Klein
104
Voted
TASE
2008
IEEE
15 years 9 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
136
Voted
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 3 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki