656 search results - page 56 / 132 » A Formalization of Transition P Systems |
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
116
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
92
Voted
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
111
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
82
Voted
ICSM
1999
IEEE
15 years 4 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...