3765 search results - page 426 / 753 » Formal Methods for Systems Engineering Behavior Models |
169
click to vote
SIGIR
2003
ACM
16 years 5 hour ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
179
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
209
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
184
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identiļ¬ers. Making the...
191
click to vote
CP
1995
Springer
15 years 10 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...