1185 search results - page 180 / 237 » Implementing Functional Languages: a tutorial |
173
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
155
click to vote
RIDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
173
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
165
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
148
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this experience report we present a case study in designing, implementing, and reusing an object-oriented framework for constructing and editing complex search expressions over...