13913 search results - page 2511 / 2783 » models 2007 |
135
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
130
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present the first positive obfuscation result for a traditional cryptographic functionality. This positive result stands in contrast to well-known negative impossibil...
139
click to vote
TELETRAFFIC
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in telecommunication networks have allowed WDM to emerge as a viable solution to the ever-increasing demands of the Internet. In a wavelength-routed optical network...
131
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
112
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...