4872 search results - page 72 / 975 » CBR for Modeling Complex Systems |
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
151
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
155
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
136
click to vote
TCS
2008
15 years 3 months ago
2008
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...