Sciweavers

205 search results - page 16 / 41
» Architecting families of software systems with process algeb...
Sort
View
CHI
2002
ACM
14 years 7 months ago
Technologies for families
We describe the design and use of a system facilitating the sharing of calendar information between remotely located, multi-generational family members. Most previous work in this...
Catherine Plaisant, Allison Druin, Hilary Hutchins...
ENTCS
2007
114views more  ENTCS 2007»
13 years 7 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
CODES
2001
IEEE
13 years 11 months ago
A trace transformation technique for communication refinement
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
Paul Lieverse, Pieter van der Wolf, Ed F. Deprette...
HICSS
2005
IEEE
121views Biometrics» more  HICSS 2005»
14 years 1 months ago
Java Architectures for Mobilised Enterprise Systems
The coming generation of mobile phones will enable objects from enterprise systems to be distributed across a range of devices of different scales. This object mobility will provi...
David Parsons
FSTTCS
2010
Springer
13 years 4 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To