3392 search results - page 324 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
142
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
176
click to vote
IJBRA
2010
15 years 3 months ago
2010
—Accumulating evidence suggests that biological systems exhibit modular organization. Accurate identification of modularity is vital for understanding this organization. A recen...
160
click to vote
BPM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
153
click to vote
MABS
2005
Springer
15 years 10 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
146
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...