237 search results - page 29 / 48 » Towards Two-Level Formal Modeling of Computer-Based Systems |
131
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
103
click to vote
ENTCS
2008
15 years 1 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
113
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
119
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
95
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...