1588 search results - page 258 / 318 » Modular action language |
128
Voted
SOFSEM
2005
Springer
15 years 8 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
111
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
91
Voted
ISI
2003
Springer
15 years 7 months ago
2003
Springer
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
118
Voted
EPIA
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
116
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...