802 search results - page 154 / 161 » On the formal semantics of IF-like logics |
CADE
1998
Springer
15 years 3 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
121
click to vote
EFDBS
2003
15 years 1 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
101
click to vote
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...