2232 search results - page 183 / 447 » Formal Modeling and Analysis of Organizations |
176
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
152
click to vote
CEC
2007
IEEE
16 years 28 days ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
156
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
149
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
145
click to vote
DEXAW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper proposes a system which eases the job of entering and sharing expert analysis on a database system, with emphasis to pictorial and document information. With this syste...