5434 search results - page 663 / 1087 » Tool support for MOLA |
178
click to vote
ITRUST
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
171
click to vote
KES
2005
Springer
16 years 11 days ago
2005
Springer
This paper discusses a general algorithm for the discovery of motif combinations. From a large number of input motifs, discovered by any single motif discovery tool, our algorithm ...
198
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
179
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
169
click to vote
SPIN
2005
Springer
16 years 10 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...