1438 search results - page 197 / 288 » An Expressive Extension of TLC |
134
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Personal Information Management (PIM) systems aim to provide convenient access to all data and metadata on a desktop to the user itself as well as the co-workers. Obvious...
166
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
175
click to vote
TELETRAFFIC
2007
Springer
16 years 15 days ago
2007
Springer
Many Internet applications employ multi-tier software architectures. The performance of such multi-tier Internet applications is typically measured by the end-toend response times...
170
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
171
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...