7009 search results - page 205 / 1402 » Patterns in Complex Systems Modeling |
109
click to vote
CGI
2004
IEEE
15 years 6 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
127
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
The United States National Basketball Association (NBA) is one of the most popular sports league in the world and is well known for moving a millionary betting market that uses th...
138
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
120
click to vote
TCS
2008
15 years 2 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
137
click to vote
ICSOC
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...