8555 search results - page 302 / 1711 » Property Based Coordination |
204
click to vote
CGO
2005
IEEE
16 years 1 months ago
2005
IEEE
Although optimizations have been applied for a number of years to improve the performance of software, problems that have been long-standing remain, which include knowing what opt...
214
click to vote
APWEB
2005
Springer
16 years 1 months ago
2005
Springer
In order to get high-quality web pages, search engines often resort retrieval pages by their ranks. The rank is a kind of measurement of importance of pages. Famous ranking algorit...
224
click to vote
FASE
2005
Springer
16 years 29 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
190
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
175
click to vote
SAFECOMP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...