2850 search results - page 493 / 570 » On Timed Models and Full Abstraction |
XSYM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
EUROGP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Population size is a critical parameter that affects the performance of an Evolutionary Computation model. A variable population size scheme is considered potentially be...
FQAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The task of similarity search is widely used in various areas of computing, including multimedia databases, data mining, bioinformatics, social networks, etc. For a long ...
ICSOC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...