16725 search results - page 2766 / 3345 » Engineering Software Correctness |
227
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
200
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
196
click to vote
ARCS
2007
Springer
16 years 1 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
180
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
172
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...