4418 search results - page 706 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
204
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
169
click to vote
ICDCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Trust negotiation supports authentication and access control across multiple security domains by allowing parties to use non-forgeable digital credentials to establish trust. By t...
156
click to vote
NOSSDAV
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research is to explore the capabilities of future, multi-core heterogeneous systems, with specialized communication support, to be used as efficient and flex...
192
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
203
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...