5407 search results - page 770 / 1082 » The Software Engineering Global Model |
182
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
177
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
226
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
188
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
204
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...