3828 search results - page 265 / 766 » Proof-Based System Engineering Using a Virtual System Model |
173
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
185
click to vote
ISPDC
2005
IEEE
16 years 5 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
161
click to vote
ISTA
2004
15 years 8 months ago
2004
Abstract: Nowadays for any kind of distributed and multi-level, i.e. complex information systems it is vitally important to represent its data resources in a homogenized form. This...
167
click to vote
CASCON
2006
15 years 8 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
159
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...