5433 search results - page 387 / 1087 » Tool Support for Traceability-Adaptation |
174
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
182
click to vote
SIPS
2006
IEEE
16 years 22 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
175
Voted
WOSP
2004
ACM
16 years 4 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
226
Voted
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
185
click to vote
PCI
2009
Springer
15 years 11 months ago
2009
Springer
— A large number of tools has recently emerged supporting information management for individuals in their social context. Semantic technologies play an important role in the deve...