2030 search results - page 335 / 406 » Designing Complex Software Implementation Programs |
ITICSE
2010
ACM
14 years 2 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diļ...
COLLABORATION
1999
Springer
14 years 2 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
EI
1998
13 years 11 months ago
1998
The traditional techniques of image capture, scanning, proofing, and separating do not take advantage of colorimetry and spectrophotometry. For critical color-matching application...
STTT
2010
13 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising veriļ¬cation methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
CASC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose exact, complete and eļ¬cient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...