1137 search results - page 70 / 228 » Disciplined Methods of Software Specification: A Case Study |
102
click to vote
GLOBECOM
2008
IEEE
14 years 10 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
ISCIS
2004
Springer
15 years 3 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
102
click to vote
IFM
2007
Springer
15 years 3 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
107
click to vote
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
The documentation of API functions typically conveys detailed specifications for the benefit of interested readers. In some cases, however, it also contains usage directives, such...