3429 search results - page 250 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
121
click to vote
FUIN
2006
15 years 4 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
144
click to vote
AIRS
2010
Springer
15 years 1 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
137
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
170
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
164
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...