1856 search results - page 112 / 372 » Formal Dialectic Specification |
135
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
156
Voted
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
139
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
144
click to vote
IJSEKE
2006
15 years 4 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...