1351 search results - page 203 / 271 » Towards a Spreadsheet Engineering |
141
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Considering the solution of dynamic access problems in a user hierarchy, a novel scheme based on one-way hash function is proposed to manage the cryptographic keys in the paper. T...
173
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
193
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
175
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
186
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...