5630 search results - page 32 / 1126 » Computability in Specification |
124
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
Deep sub-micron processing technologies have enabled the implementation of new application-specificembeddedarchitecturesthat integrate multiple software programmable processors (e...
48
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
We present in this paper a new multi-class Bayes classifier that permits using separate feature vectors, chosen specifically for each class. This technique extends previous work o...
145
click to vote
GI
2009
Springer
15 years 10 days ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
125
click to vote
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper is the last one in a series of four papers and presents a minimal geographic services’ specification, based in the core related to business requirements, specially sp...
110
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...