3425 search results - page 390 / 685 » A Model Driven Approach for Software Systems Reliability |
121
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
158
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
117
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Open Source Software (OSS) has attracted enormous media and research attention since the term was coined in February 1998. The concept itself is founded on the paradoxical premise...
162
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...
152
click to vote
SEBD
1997
15 years 5 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...