Sciweavers

2379 search results - page 294 / 476
» Aspectizing Multi-agent Systems: From Architecture to Implem...
Sort
View
175
Voted
TAPOS
1998
93views more  TAPOS 1998»
15 years 5 months ago
Object Acquaintance Selection and Binding
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...
Jan Bosch
ADAEUROPE
2010
Springer
15 years 4 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
177
Voted
JAR
2006
103views more  JAR 2006»
15 years 6 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
EDBT
2008
ACM
124views Database» more  EDBT 2008»
16 years 6 months ago
Scalable XQuery type matching
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
Jens Teubner
179
Voted
ECIS
2000
15 years 7 months ago
Secure Access to Medical Data over the Internet
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
Ulrich Ultes-Nitsche, Stephanie Teufel