815 search results - page 15 / 163 » Using non-functional requirements to systematically support ... |
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
SENSYS
2003
ACM
14 years 28 days ago
2003
ACM
A distinguishing characteristic of wireless sensor networks is the opportunity to exploit characteristics of the application at lower layers. This approach is encouraged by device...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
HCI
2007
13 years 9 months ago
2007
This paper discusses the use of cognitive models as augmented metacognition on task allocation for tasks requiring visual attention. In the domain of naval warfare, the complex and...