9110 search results - page 1504 / 1822 » Formally-Based Design Evaluation |
218
click to vote
JOT
2010
15 years 5 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
179
click to vote
JSS
2010
15 years 5 months ago
2010
This paper investigates a class of mobile wireless sensor networks that are unconnected most of the times; we refer to them as delay–tolerant wireless sensor networks (DTWSN). T...
167
click to vote
JUCS
2010
15 years 5 months ago
2010
: One of the success factors of Work Integrated Learning (WIL) is to provide the appropriate content to the users, both suitable for the topics they are currently working on, and t...
180
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
184
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...