Sciweavers

2500 search results - page 304 / 500
» Specifying Behavior in C
Sort
View
HICSS
2005
IEEE
181views Biometrics» more  HICSS 2005»
15 years 9 months ago
Motivating Content Contributions to Online Communities: Toward a More Comprehensive Theory
This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...
Steven J. J. Tedjamulia, Douglas L. Dean, David R....
SOFTVIS
2005
ACM
15 years 9 months ago
Visualization of mobile object environments
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
Yaniv Frishman, Ayellet Tal
EMSOFT
2005
Springer
15 years 9 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EMSOFT
2005
Springer
15 years 9 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 9 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol