256 search results - page 1 / 52 » Context Dependent Analysis of BioAmbients |
DAGSTUHL
2006
13 years 6 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
ENTCS
2007
13 years 4 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
ICWE
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. While several techniques have been introduced for specifying and acquiring context and quality information associated with Web services, they consider such information re...
ADBIS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...