5433 search results - page 430 / 1087 » Tool Support for Traceability-Adaptation |
170
click to vote
IJMC
2008
15 years 6 months ago
2008
: This paper presents a Multimedia Message Transmitter Tool (MMTT) that provides businesses with the opportunity to use Bluetooth wireless connectivity delivering the relevant info...
168
click to vote
IGPL
2007
15 years 6 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
188
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
202
click to vote
PC
1998
15 years 6 months ago
1998
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
192
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...