3765 search results - page 291 / 753 » Formal Methods for Systems Engineering Behavior Models |
194
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
175
click to vote
RTCSA
2007
IEEE
16 years 29 days ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
171
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
172
Voted
WOSP
2004
ACM
16 years 3 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
195
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...