Sciweavers

416 search results - page 56 / 84
» Intellectual Property and Open Systems
Sort
View
SRDS
1998
IEEE
14 years 2 months ago
A Metaobject Protocol for Fault-Tolerant CORBA Applications
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
Marc-Olivier Killijian, Jean-Charles Fabre, Juan-C...
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
13 years 11 months ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel
ENTCS
2006
1305views more  ENTCS 2006»
13 years 11 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
DEXA
2005
Springer
98views Database» more  DEXA 2005»
14 years 4 months ago
Transforming Software Package Classification Hierarchies into Goal-Based Taxonomies
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...
Claudia P. Ayala, Xavier Franch
JACM
2007
85views more  JACM 2007»
13 years 10 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker