12333 search results - page 2291 / 2467 » System Level Modelling for Hardware Software Systems |
113
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
112
Voted
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
114
Voted
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
127
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...