8928 search results - page 587 / 1786 » Modeling Current Events |
173
click to vote
SEKE
2005
Springer
16 years 24 days ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
184
click to vote
SOCO
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
185
click to vote
OTM
2004
Springer
16 years 20 days ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
161
click to vote
IHM
2003
ACM
16 years 17 days ago
2003
ACM
This paper discusses how model-based approaches can support designers and developers to address a number of challenges raised by universal usability, such as the possibility of ob...
218
click to vote
HYBRID
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...