359 search results - page 13 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
113
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
147
Voted
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
104
Voted
ICESS
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
130
Voted
FMAM
2010
15 years 23 days ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
139
Voted
OPODIS
2010
15 years 19 days ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...