2226 search results - page 380 / 446 » Pdk: The System and Its Language |
159
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
157
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
199
click to vote
FIW
1998
15 years 7 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
187
click to vote
CODES
2007
IEEE
16 years 23 days ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
168
click to vote
MICRO
2007
IEEE
16 years 21 days ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...