1606 search results - page 120 / 322 » XML-based programming language modeling: An approach to soft... |
145
click to vote
KBSE
2007
IEEE
16 years 12 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
141
click to vote
APSEC
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
179
click to vote
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
143
click to vote
FCCM
2007
IEEE
16 years 14 days ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
185
Voted
VLSISP
2010
15 years 25 days ago
2010
A common approach to extract phonemes of sign language is to use an unsupervised clustering algorithm to group the sign segments. However, simple clustering algorithms based on dis...