3404 search results - page 427 / 681 » EJB Design Patterns |
148
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
165
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
170
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
141
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Genetic Algorithms have been used before to evolve transition rules for one dimensional Cellular Automata (CA) to solve e.g. the majority problem and investigate communic...
142
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...