15787 search results - page 2931 / 3158 » Is Software Engineering Training Enough for Software Enginee... |
140
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
176
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
182
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
166
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
154
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...