313 search results - page 51 / 63 » Building Models through Formal Specification |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
The goal of this paper is to argue the need to approach the personalization issues in Web applications from the very beginning in the application's development cycle. Since p...
CAISE
2009
Springer
14 years 17 days ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
IJCAI
2003
13 years 10 months ago
2003
Whenever people move through their environments they do not move randomly. Instead, they usually follow specific trajectories or motion patterns corresponding to their intentions....
IJCSA
2008
13 years 8 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...