5433 search results - page 599 / 1087 » Tool Support for Traceability-Adaptation |
209
click to vote
ERCIM
2008
15 years 7 months ago
2008
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
208
click to vote
ENTCS
2006
15 years 7 months ago
2006
Mobile Ad hoc NETworks (MANETs) are dynamic networks populated by mobile stations. Stations in MANETs are usually laptops, PDAs or mobile phones. These devices feature Bluetooth a...
201
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
184
click to vote
FMSD
2006
15 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
203
click to vote
INFSOF
2008
15 years 7 months ago
2008
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...