10038 search results - page 567 / 2008 » Model Checking for Managers |
199
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
195
click to vote
IUI
2010
ACM
16 years 4 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
212
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
While the trust paradigm is essential to broadly extend the communication between the environment’s actors, the evaluation of trust becomes a challenge when confronted with init...
204
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
: e-business organizations are heavily dependent on distributed 24X7 robust information computing systems, for their daily operations. To secure distributed online transactions, th...
223
click to vote
APWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...