4418 search results - page 218 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
190
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
170
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Functional brain imaging is a source of spatio-temporal data mining problems. A new framework hybridizing multi-objective and multimodal optimization is proposed to formalize these...
170
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
Many Augmented Reality applications require accurate tracking. Existing tracking techniques require prepared environments to ensure accurate results. This paper motivates the need...
161
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
147
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Print media are still very important for everyone's daily life. Current efforts are concerned with the application of the wellestablished offset-printing technology to other ...