7009 search results - page 197 / 1402 » Patterns in Complex Systems Modeling |
121
Voted
ENTCS
2007
15 years 2 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
106
click to vote
FOSSACS
2007
Springer
15 years 8 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...
140
Voted
BIRTHDAY
2003
Springer
15 years 7 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...
122
Voted
KES
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We have developed the system "DAWN" (direction anticipation in web navigation) that learns navigational patterns to help users navigating through the world wide...
111
click to vote
DEXAW
2007
IEEE
15 years 8 months ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...