3828 search results - page 619 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
131
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
123
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
139
click to vote
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
150
click to vote
HCW
1998
IEEE
15 years 9 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...