3045 search results - page 232 / 609 » Formal Approaches to Software Architecture |
123
click to vote
GPCE
2009
Springer
15 years 4 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
SIGSOFT
2009
ACM
16 years 13 days ago
2009
ACM
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
108
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
128
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...