9455 search results - page 1598 / 1891 » The Modelling Language Zinc |
197
click to vote
ECOOP
2005
Springer
16 years 7 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
177
click to vote
EWSA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
193
click to vote
VRML
2004
ACM
16 years 3 days ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
186
click to vote
WIDM
2004
ACM
16 years 3 days ago
2004
ACM
The use of relational database management systems (RDBMSs) to store and query XML data has attracted considerable interest with a view to leveraging their powerful and reliable da...
187
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...