8109 search results - page 1226 / 1622 » A Model of Component-Based Programming |
134
click to vote
SEFM
2007
IEEE
16 years 17 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
180
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
176
click to vote
CONTEXT
2007
Springer
16 years 14 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
144
Voted
CP
2007
Springer
16 years 14 days ago
2007
Springer
We consider soft constraint problems where some of the preferences may be unspecified. This models, for example, situations with several agents providing the data, or with possibl...
159
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...