3555 search results - page 243 / 711 » Security-Critical System Development with Extended Use Cases |
157
click to vote
CRV
2007
IEEE
16 years 26 days ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
176
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
: We discuss the development and application of Web Service-based Geographical Information System Grids. Following the WS-I+ approach of building Grids on Web Service standards, we...
152
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
189
click to vote
CASCON
2000
15 years 7 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
183
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...