10038 search results - page 351 / 2008 » Model Checking for Managers |
184
click to vote
HCI
2007
15 years 8 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
159
click to vote
DGO
2003
15 years 8 months ago
2003
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
168
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Terminological interference occurs in requirements engineering when stakeholders vary in the concepts they use to understand a problem domain, and the terms they use to describe t...
167
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...
185
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...