3804 search results - page 101 / 761 » interactions 2008 |
150
click to vote
TSE
1998
15 years 4 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
138
Voted
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Physical and logical structure recovering from electronic documents is still an open issue. In this paper, we propose a flexible and efficient approach for recovering document str...
144
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Contemporary spreadsheets are plagued by a profusion of errors, auditing difficulties, lack of uniform development methodologies, and barriers to easy comprehension of the underly...
115
Voted
PERVASIVE
2008
Springer
15 years 5 months ago
2008
Springer
137
Voted
TC
2008
15 years 5 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...