Sciweavers

3185 search results - page 471 / 637
» Principles for modeling language design
Sort
View
EUROSYS
2007
ACM
15 years 10 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
DIAGRAMS
2004
Springer
15 years 10 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
AAAI
2007
15 years 8 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
ECIR
2007
Springer
15 years 8 months ago
A Parameterised Search System
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...
Roberto Cornacchia, Arjen P. de Vries
ENTCS
2006
90views more  ENTCS 2006»
15 years 6 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...