1301 search results - page 241 / 261 » Specifications via Realizability |
ICCS
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
ICSE
2003
IEEE-ACM
14 years 22 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
EWSPT
2001
Springer
14 years 23 hour ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
REFLECTION
2001
Springer
13 years 12 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
ACSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
Security infrastructures are increasingly used in the health care and welfare sector, particularly for providing security, like confidentiality, authenticity, integrity, nonrepudi...