108 search results - page 7 / 22 » How to synthesize nets from languages: a survey |
LPAR
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
UM
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like chec...
EDOC
2003
IEEE
14 years 22 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
Web documents present new challenges to conventional Information Retrieval (IR) technologies. This paper describes how these challenges are faced in FameIR, a multilingual multime...