4270 search results - page 88 / 854 » A Permutation Approach to Validation |
174
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
145
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
136
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
144
click to vote
JCP
2008
15 years 4 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
125
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
Super-resolution (SR) methods are largely affected by the accurate evaluation of the Point Spread Function (PSF) that is related to the input frames. When the frames are degraded ...