2255 search results - page 265 / 451 » High Assurance Software Systems |
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Spreadsheets in financial markets are frequently used as database, calculator and reporting application combined. This paper describes an alternative approach in which spreadsheet...
156
click to vote
PATMOS
2007
Springer
16 years 20 days ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
163
click to vote
ICSM
2006
IEEE
16 years 17 days ago
2006
IEEE
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
189
click to vote
UML
2005
Springer
16 years 17 hour ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
204
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...