2500 search results - page 57 / 500 » Specifying Behavior in C |
IS
2008
13 years 9 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
PERSUASIVE
2010
Springer
14 years 2 months ago
2010
Springer
This article introduces the concept of a behavior change support system and suggests it as a key construct for research on persuasive systems design, technologies, and applications...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
IJCAI
1989
13 years 10 months ago
1989
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
STOC
2003
ACM
14 years 9 months ago
2003
ACM
We propose a natural, mathematically tractable model of TCP which captures both its additive-increase, multiplicative-decrease behavior and its feedback mechanism. Neither a fluid...