1988 search results - page 226 / 398 » Engineering formal metatheory |
181
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Artists in new media arts explore the possibilities offered by digital technologies to create adaptive and interactive new media artworks integrating audio and video. In this pape...
178
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
134
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
190
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
133
click to vote
LREC
2010
15 years 8 months ago
2010
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...