3101 search results - page 20 / 621 » Composing Adaptive Software |
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
SSDBM
2002
IEEE
15 years 4 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
69
Voted
JLP
2010
14 years 6 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...