2957 search results - page 405 / 592 » Code analysis and CS-XML |
128
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Frequency hopping systems have been widely used in military communications to prevent hostile jamming, interception and detection. In traditional frequency hopping (FH) systems,...
153
Voted
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
180
click to vote
ICA
2007
Springer
15 years 11 months ago
2007
Springer
In the paper we present new Alternating Least Squares (ALS) algorithms for Nonnegative Matrix Factorization (NMF) and their extensions to 3D Nonnegative Tensor Factorization (NTF) ...
121
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
146
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...