1398 search results - page 69 / 280 » Ensuring Properties of Interaction Systems |
128
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
147
click to vote
SCP
1998
15 years 3 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
133
Voted
KI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
135
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
111
click to vote
ICWSM
2010
15 years 5 months ago
2010
Social media sites derive their value by providing a popular and dependable community for participants to engage, share, and interact. This community value and related services li...