130 search results - page 7 / 26 » A Formal Way from Text to Code Templates |
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
191
Voted
ESWA
2011
14 years 7 months ago
2011
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...
113
click to vote
ICCV
1995
IEEE
15 years 3 months ago
1995
IEEE
Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...