9455 search results - page 147 / 1891 » The Modelling Language Zinc |
ACL
2010
14 years 11 months ago
2010
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...
125
click to vote
JSS
2010
14 years 8 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
98
Voted
EUROCRYPT
2006
Springer
15 years 5 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
FM
2008
Springer
15 years 3 months ago
2008
Springer
Modal