851 search results - page 124 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
EMISA
2009
Springer
15 years 4 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
JNW
2007
14 years 9 months ago
2007
— Telemedicine is the use of telecommunications technology to provide medical information and services. It may be as simple as two health professionals discussing a case over the...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Soft state in the middle tier is key to enabling scalable and responsive three tier service architectures. While softstate can be reconstructed upon failure, replicating it across...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...