Sciweavers

759 search results - page 28 / 152
» Verification of a Microprocessor Using Real World Applicatio...
Sort
View
66
Voted
JUCS
2008
119views more  JUCS 2008»
14 years 9 months ago
A Model of Interaction for CVEs Based on the Model of Human Communication
: This paper summarizes a model of interaction for CVEs inspired by the process followed in human communication in the real world, detailing both the main elements and the communic...
Diego Martínez, Arturo S. García, Jo...
SEFM
2009
IEEE
15 years 4 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
HICSS
1998
IEEE
90views Biometrics» more  HICSS 1998»
15 years 1 months ago
Real-Time New Product Development in Financial Services: Some Managerial Implications
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
Pete Naudé, Ian D. Blackman, S. Dengler
WECWIS
2005
IEEE
142views ECommerce» more  WECWIS 2005»
15 years 3 months ago
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
Friedrich H. Vogt, Simon Zambrovski, Boris Gruschk...
SOCO
2010
Springer
14 years 4 months ago
Taximeter verification with GPS and soft computing techniques
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
José Villar, Adolfo Otero, José Oter...