2274 search results - page 381 / 455 » Qualitative Modeling for Requirements Engineering |
145
click to vote
COMSWARE
2007
IEEE
15 years 12 months ago
2007
IEEE
— Increasing number of communication softwares are built on distributed architectures based on the Peer-toPeer (P2P) model, such as Skype [1], and PeerCast [2]. This model provid...
136
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
123
click to vote
DNA
2007
Springer
15 years 11 months ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
137
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
142
click to vote
GMP
2006
IEEE
15 years 11 months ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...