233 search results - page 26 / 47 » The Behavior Markup Language: Recent Developments and Challe... |
AAAI
2011
13 years 11 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
110
click to vote
SEKE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
ATAL
2001
Springer
15 years 4 months ago
2001
Springer
The recent development of software platforms for cell phones and handheld computers, such as Java 2 Micro Edition (J2ME), has broadened application perspectives in this area. In fa...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-deļ¬ned memory consistency models are necessary for writing correct parallel software. Developing and understanding formal speciļ¬cations of hardware memory models is a chal...
113
click to vote
JOT
2008
14 years 11 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...