2154 search results - page 273 / 431 » Evidence-based software production |
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
CODES
2005
IEEE
15 years 4 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
MSS
2005
IEEE
15 years 4 months ago
2005
IEEE
1 Preservation environments manage digital records for time periods that are much longer than that of a single vendor product. A primary requirement is the preservation of the auth...
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
MRCO
2005
Springer
15 years 4 months ago
2005
Springer
A new computing era after Mainframes, PC’s and mobiles is becoming more and more anticipated since the beginning of the 21st century. This new era is often described with several...