12478 search results - page 1687 / 2496 » Secure Interaction Design |
163
click to vote
TSMC
2008
15 years 7 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
150
click to vote
CACM
2004
15 years 7 months ago
2004
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
213
click to vote
JECR
2000
15 years 7 months ago
2000
Electronic Commerce (EC) and Supply Chain Management (SCM) are fundamental strategic concepts when businesses are forging links with their suppliers and customers. This article an...
229
click to vote
JUCS
2000
15 years 7 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
188
click to vote
KI
2002
Springer
15 years 7 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...