2111 search results - page 138 / 423 » How to Program Pervasive Systems |
97
Voted
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
83
Voted
ICSE
2005
IEEE-ACM
16 years 25 days ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
86
Voted
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
90
Voted
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
157
Voted
IPCO
2010
15 years 2 months ago
2010
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...