9443 search results - page 1647 / 1889 » Web-centric language models |
176
click to vote
EUROCRYPT
2007
Springer
16 years 23 days ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
181
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
150
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
180
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
162
click to vote
CONIELECOMP
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...