2098 search results - page 168 / 420 » Syntactic Topic Models |
150
Voted
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
137
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
147
Voted
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
132
click to vote
CSL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
155
Voted
JELIA
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...