3555 search results - page 350 / 711 » Security-Critical System Development with Extended Use Cases |
191
click to vote
STACS
1991
Springer
15 years 10 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
190
click to vote
ISAS
2004
Springer
16 years 1 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
171
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
169
click to vote
DOA
2000
15 years 8 months ago
2000
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...
160
click to vote
MATA
2004
Springer
16 years 1 days ago
2004
Springer
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...