Sciweavers

1968 search results - page 112 / 394
» The Complexity of Valued Constraint Models
Sort
View
FCSC
2008
104views more  FCSC 2008»
15 years 1 months ago
On automatic verification of self-stabilizing population protocols
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
Jun Pang, Zhengqin Luo, Yuxin Deng
MODELS
2010
Springer
14 years 12 months ago
Active Operations on Collections
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, J...
ISIM
2007
15 years 3 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
CPAIOR
2005
Springer
15 years 7 months ago
Symmetry and Search in a Network Design Problem
Abstract. An optimization problem arising in the design of optical fibre networks is discussed. A network contains client nodes, each installed on one or more SONET rings. A const...
Barbara M. Smith
ICSE
2009
IEEE-ACM
14 years 11 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark