474 search results - page 84 / 95 » Assurance Based Development of Critical Systems |
DIMVA
2006
13 years 8 months ago
2006
Wireless devices that integrate the functionality of PDAs and cell phones are becoming commonplace, making different types of network services available to mobile applications. How...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of ...
IFL
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
JAPLL
2010
13 years 5 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
WSC
2007
13 years 9 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...