10916 search results - page 1832 / 2184 » On Constructive Connectives and Systems |
165
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
167
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
182
click to vote
ICMI
2005
Springer
16 years 9 days ago
2005
Springer
A problem faced by groups that are not co-located but need to collaborate on a common task is the reduced access to the rich multimodal communicative context that they would have ...
161
click to vote
ISMIR
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...
213
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...