424 search results - page 47 / 85 » Productivity of Stream Definitions |
WSC
1997
14 years 11 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
INFSOF
2000
14 years 9 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
HCI
2009
14 years 7 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...