3742 search results - page 609 / 749 » On the Use of Formal Techniques for Validation |
188
click to vote
ECRTS
2006
IEEE
16 years 14 days ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
165
click to vote
METRICS
2005
IEEE
15 years 12 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
168
click to vote
FC
2005
Springer
15 years 12 months ago
2005
Springer
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...
136
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
145
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
XML and XQuery semantics are very sensitive to the order of the produced output. Although pattern-tree based algebraic approaches are becoming more and more popular for evaluating...