360 search results - page 8 / 72 » Detecting Intrusions Specified in a Software Specification L... |
CP
2000
Springer
14 years 6 days ago
2000
Springer
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...
FTDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
CC
2009
Springer
13 years 5 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
CSSE
2004
IEEE
13 years 7 months ago
2004
IEEE
The Synchronized Multimedia Integration Language (SMIL) [Aya01] is an W3C [W3C03] specification for authoring multimedia documents. Although SMIL has XML like syntactic constructs...