2702 search results - page 208 / 541 » Practically Applicable Formal Methods |
COMSWARE
2008
IEEE
15 years 5 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
DIGRA
2005
Springer
15 years 4 months ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
FUIN
2010
14 years 8 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
121
click to vote
ISPEC
2009
Springer
15 years 5 months ago
2009
Springer
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
WER
2007
Springer
15 years 5 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...