2832 search results - page 497 / 567 » Flexible Modelling for Requirements Engineering |
152
Voted
COMSWARE
2007
IEEE
16 years 13 days 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...
144
click to vote
HICSS
2007
IEEE
16 years 13 days 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...
131
click to vote
DNA
2007
Springer
16 years 8 days 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...
143
click to vote
FOSSACS
2007
Springer
16 years 8 days 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...
151
click to vote
GMP
2006
IEEE
16 years 4 days 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...