736 search results - page 34 / 148 » Moving Specification Structures Between Logical Systems |
108
click to vote
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
122
Voted
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
123
Voted
FUIN
2008
15 years 2 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
123
Voted
ENTCS
2006
15 years 2 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
110
click to vote
EUSFLAT
2009
15 years 11 days ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...