2944 search results - page 376 / 589 » On Well Quasi-orders on Languages |
157
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
174
click to vote
DFT
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
172
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
150
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Abstract. Polymorphism is a key feature of the objectoriented paradigm. However, polymorphism induces hidden forms of class dependencies, which may impact software quality. In this...
148
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
Versatile physical and behavioral features as well as their exploitation through computation-power onboard the robot-players are feasible and necessary goals for the RoboCup small ...