3028 search results - page 207 / 606 » Integrating Temporal Logics |
205
click to vote
ENTCS
2006
15 years 7 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
218
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
196
click to vote
RE
2004
Springer
16 years 17 days ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
179
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
200
click to vote
RIDE
1999
IEEE
15 years 11 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...