319 search results - page 17 / 64 » Foundational Aspects of Syntax |
PADL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ISTA
2003
13 years 9 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
ATAL
2005
Springer
13 years 9 months ago
2005
Springer
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
APCCM
2008
13 years 9 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...