2374 search results - page 458 / 475 » Automatic Generation of Model Translations |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
KDD
2008
ACM
14 years 10 months ago
2008
ACM
We present a detailed study of network evolution by analyzing four large online social networks with full temporal information about node and edge arrivals. For the first time at ...
ACNS
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. Very recently, the concept of Traceable Identity-based Encryption (IBE) scheme (or Accountable Authority Identity based Encryption scheme) was introduced in Crypto 2007. ...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...