2057 search results - page 110 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
151
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
113
click to vote
CEEMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
145
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
154
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
129
click to vote
TOSEM
2010
15 years 2 months ago
2010
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...