361 search results - page 29 / 73 » A compositional approach to statecharts semantics |
IJIS
2002
14 years 9 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
76
Voted
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
IJWET
2008
14 years 8 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
LOPSTR
1998
Springer
15 years 1 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
ICSOFT
2007
14 years 11 months ago
2007
Telecommunication companies are struggling to provide their users with value-added services. These services are expected to be context-aware, attentive and personalized. Since it i...