2088 search results - page 255 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
234
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
138
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
163
click to vote
COLING
2010
15 years 1 months ago
2010
During face-to-face conversation, people naturally integrate speech, gestures and higher level language interpretations to predict the right time to start talking or to give backc...
142
click to vote
SE
2010
15 years 7 months ago
2010
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
183
click to vote
WER
1998
Springer
15 years 10 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...