14056 search results - page 2487 / 2812 » Consistency in Model Integration |
188
click to vote
ASIASIM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
172
click to vote
CASSIS
2004
Springer
16 years 5 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
192
click to vote
CIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
168
click to vote
CIVR
2004
Springer
16 years 4 days ago
2004
Springer
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
185
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...