3381 search results - page 108 / 677 » Extending Dependencies with Conditions |
150
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
164
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
179
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
148
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
171
click to vote
VISUALIZATION
2000
IEEE
15 years 10 months ago
2000
IEEE
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...