2570 search results - page 127 / 514 » Reliability Modeling Using UML |
160
click to vote
DIALM
2007
ACM
15 years 8 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
140
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
157
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
131
click to vote
ICDS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
145
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...