7529 search results - page 1247 / 1506 » The Modula-3 Type System |
167
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
152
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
156
click to vote
FOSAD
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
189
click to vote
GPC
2007
Springer
16 years 22 days ago
2007
Springer
Grid systems are well-known for its high performance computing or large data storage with inexpensive devices. They can be categorized into two major types: computational grid and ...
193
click to vote
HIPC
2007
Springer
16 years 22 days ago
2007
Springer
Molecular dynamics simulations are a common and often repeated task in molecular biology. The need for speeding up this treatment comes from the requirement for large system simula...