1524 search results - page 231 / 305 » Operational Semantics of Hybrid Systems |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
117
click to vote
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
BTW
2003
Springer
15 years 3 months ago
2003
Springer
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...
TCSV
2008
14 years 9 months ago
2008
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...