647 search results - page 20 / 130 » Technical method of Zoetmorerope |
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
JSA
2000
13 years 7 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
EMISA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...
INFORMATICALT
2008
13 years 7 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...