3082 search results - page 428 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
TPCTC
2010
Springer
15 years 4 months ago
2010
Springer
Graph Database Management systems (GDBs) are gaining popularity. They are used to analyze huge graph datasets that are naturally appearing in many application areas to model interr...
216
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Email spam is a much studied topic, but even though current email spam detecting software has been gaining a competitive edge against text based email spam, new advances in spam g...
160
click to vote
PERSUASIVE
2009
Springer
16 years 28 days ago
2009
Springer
This paper presents a new model for understanding human behavior. In this model (FBM), behavior is a product of three factors: motivation, ability, and triggers, each of which has...
170
click to vote
SPAA
2006
ACM
16 years 10 days ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
167
click to vote
VRST
2006
ACM
16 years 10 days ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...