Sciweavers

1937 search results - page 116 / 388
» Starting B Specifications from Use Cases
Sort
View
131
Voted
ISSRE
2007
IEEE
15 years 6 months ago
Testing Security Policies: Going Beyond Functional Testing
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry
117
Voted
IFIP
1989
Springer
15 years 8 months ago
Broadcasting with Selective Reduction
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...
Selim G. Akl, G. R. Guenther
ICIP
2004
IEEE
16 years 6 months ago
Authentication of MPEG-4-based surveillance video
The industry is currently starting to use MPEG-4 compressed digital video for surveillance applications. The transition from analog to digital video raises difficulties for using ...
Michael Pramateftakis, Tobias Oelbaum, Klaus Diepo...
CCE
2007
15 years 6 months ago
Domain Repositories as Coordination Support in Collaborative Engineering
: Collaborative engineering involves knowledge-intensive activities involving different specialists in collaboration processes tailored for the engineering domain under considerati...
Kurt Sandkuhl, Andreas Billig
TCS
2008
15 years 4 months ago
Swept regions and surfaces: Modeling and volumetric properties
We consider "swept regions" and "swept hypersurfaces"B in Rn+1 (and especially R3) which are a disjoint union of subspaces t = t or Bt = Bt obtained from a va...
James N. Damon