4350 search results - page 644 / 870 » Case studies for contract-based systems |
118
click to vote
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
116
click to vote
KSEM
2009
Springer
15 years 10 months ago
2009
Springer
Systems supporting situation awareness in large-scale control systems, such as, e. g., encountered in the domain of road traffic management, pursue the vision of allowing human ope...
127
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
130
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
119
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...