Sciweavers

2372 search results - page 266 / 475
» Probabilistic calling context
Sort
View
ADAEUROPE
2003
Springer
14 years 1 months ago
Modules for Crosscutting Models
Traditional programming languages assume that real-world systems have “intuitive”, mind-independent, preexisting concept hierarchies. However, our perception of the world depen...
Mira Mezini, Klaus Ostermann
DSRT
2002
IEEE
14 years 1 months ago
Bridging the HLA: Problems and Solutions
The High-Level Architecture (HLA) provides a common architecture for distributed modeling and simulation. In its original form, the HLA allows a number of simulations to be joined...
Jürgen Dingel, David Garlan, Craig Damon
ISORC
2002
IEEE
14 years 1 months ago
Commanding and Reactive Control of Peripherals in the TMO Programming Scheme
: Although high-level real-time distributed computing objects are generally written in forms independent of execution platforms, input and output (I/O) activities involving periphe...
K. H. Kim
SAC
2009
ACM
14 years 27 days ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 18 days ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...