367 search results - page 56 / 74 » Reverse engineering of framework design using a meta-pattern... |
128
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
108
click to vote
SIMPRA
2008
14 years 11 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
103
click to vote
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
110
click to vote
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...