Sciweavers

1498 search results - page 218 / 300
» Creating Links into the Future
Sort
View
MRCO
2005
Springer
14 years 2 months ago
A Context Model for Personal Knowledge Management Applications
In the research project EPOS1 we build a pro-active, contextsensitive support system to aid the user with his knowledge work, which is mostly about searching, reading, creating, an...
Sven Schwarz
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
14 years 2 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
MOBICOM
2004
ACM
14 years 2 months ago
A structured group mobility model for the simulation of mobile ad hoc networks
Realistic models for node movement are essential in simulating mobile ad hoc networks. Many MANET scenarios are most realistically represented using group movement, but existing g...
Ken Blakely, Bruce Lowekamp
NSPW
2004
ACM
14 years 2 months ago
The role of suspicion in model-based intrusion detection
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
Timothy Hollebeek, Rand Waltzman
ECCV
2004
Springer
14 years 2 months ago
Authentic Emotion Detection in Real-Time Video
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...
Yafei Sun, Nicu Sebe, Michael S. Lew, Theo Gevers