6794 search results - page 737 / 1359 » Semantics of Visual Languages |
189
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
211
click to vote
AB
2007
Springer
16 years 1 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
185
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
178
click to vote
XIMEP
2005
ACM
16 years 23 days ago
2005
ACM
As XML finds its place in information technology, query languages for XML attract much attention. Among them XPath is the most known. This article reveals a surprising fact that ...
192
click to vote
GPCE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...