8623 search results - page 1708 / 1725 » Software engineering for secure systems |
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
CSCWD
2001
Springer
14 years 6 days ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
FCCM
2000
IEEE
14 years 3 days ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
This paper presents the participation of the semantic N-levels search engine SENSE at the CLEF 2009 Ad Hoc Robust-WSD Task. During the participation at the same task of CLEF 2008,...