16725 search results - page 2605 / 3345 » Engineering Software Correctness |
180
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Visual information processing will play an increasingly important role in future electronics systems. In many applications, e.g. video surveillance cameras, data throughput of mic...
206
click to vote
FOIKS
2004
Springer
16 years 25 days ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
196
click to vote
WCRE
2003
IEEE
16 years 21 days ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
192
click to vote
SMA
2003
ACM
16 years 21 days ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
235
click to vote
PAAMS
2009
Springer
16 years 6 hour ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...