798 search results - page 82 / 160 » Statecharts as Protocols for Objects |
CONEXT
2008
ACM
15 years 1 months ago
2008
ACM
Running multiple virtual networks, customized for different performance objectives, is a promising way to support diverse applications over a shared substrate. Despite being simpl...
ENTCS
2008
14 years 12 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
122
click to vote
FAC
2008
14 years 12 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
115
click to vote
COMCOM
2006
14 years 12 months ago
2006
In this paper, a new optimal policy is introduced to determine, adapt, and protect the Generalized MultiProtocol Label Switching (GMPLS) network topology based on the current traf...
JUCS
2008
14 years 11 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...