3161 search results - page 422 / 633 » Documenting framework behavior |
172
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
148
click to vote
WSC
2007
15 years 8 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
172
click to vote
WSC
2008
15 years 8 months ago
2008
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
204
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
165
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...