2409 search results - page 205 / 482 » Logical systems for structured specifications |
158
click to vote
OORASE
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
148
click to vote
COLING
2002
15 years 6 months ago
2002
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
145
click to vote
DDECS
2007
IEEE
16 years 27 days ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...