9443 search results - page 1602 / 1889 » Web-centric language models |
169
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
166
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
156
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
166
click to vote
ISAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
183
click to vote
NLDB
2005
Springer
16 years 5 days ago
2005
Springer
Effective Web content filtering is a necessity in educational and workplace environments, but current approaches are far from perfect. We discuss a model for text-based intellige...