1799 search results - page 192 / 360 » The Logic of Correctness in Software Engineering |
193
Voted
EMSOFT
2005
Springer
16 years 18 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
199
click to vote
PASTE
2004
ACM
16 years 14 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
170
click to vote
FASE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
174
click to vote
PEPM
2004
ACM
16 years 12 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
184
click to vote
WADT
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...