Sciweavers

1366 search results - page 2 / 274
» Modularizing Contexted Constraints
Sort
View
ATAL
2006
Springer
13 years 9 months ago
Goal-oriented modularity in agent programming
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
ISORC
1998
IEEE
13 years 9 months ago
Object-Oriented Design of Real-Time Telecom Systems
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
Jean-Marc Jézéquel
ISORC
2005
IEEE
13 years 11 months ago
Building Responsive TMR-Based Servers in Presence of Timing Constraints
This paper is on the construction of a fault-tolerant and responsive server subsystem in an application context where the subsystem is accessed through an asynchronous network by ...
Paul D. Ezhilchelvan, Jean-Michel Hélary, M...
LOPSTR
2005
Springer
13 years 10 months ago
Experiments in Context-Sensitive Analysis of Modular Programs
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
Jesús Correas, Germán Puebla, Manuel...
LOPSTR
2004
Springer
13 years 10 months ago
A Generic Framework for Context-Sensitive Analysis of Modular Programs
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
Germán Puebla, Jesús Correas, Manuel...