6167 search results - page 980 / 1234 » Can Refinement be Automated |
107
Voted
ITNG
2006
IEEE
15 years 6 months ago
2006
IEEE
The huge volumes of biomedical texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information. ...
112
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
84
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
121
click to vote
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
118
Voted
MOMPES
2006
IEEE
15 years 6 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...