2520 search results - page 324 / 504 » Model-checking behavioral programs |
110
Voted
ENTCS
2006
15 years 2 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
105
click to vote
EOR
2006
15 years 2 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
JUCS
2010
15 years 26 days ago
2010
: Light scattering studies are done by researchers of various scientific areas. As the calculation of the scattering behavior by small particles is rather complex, corresponding pr...
132
Voted
MAGS
2010
15 years 26 days ago
2010
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
108
click to vote
UM
2010
Springer
15 years 24 days ago
2010
Springer
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...