3429 search results - page 570 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
147
click to vote
EUROMICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
133
click to vote
TCS
2008
15 years 2 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
112
Voted
SIGOPSE
1998
ACM
15 years 6 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 ...
140
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
131
Voted
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...