8928 search results - page 323 / 1786 » Modeling Current Events |
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Whole genome duplication (WGD) is followed by massive duplicate deletion that reorganizes gene adjacencies. We compare the deletion patterns and adjacency reorganization following...
230
click to vote
ICOIN
2005
Springer
15 years 10 months ago
2005
Springer
Network Forensics is an important extension to the model of network security where emphasis is traditionally put on prevention and to a lesser extent on detection. It focuses on th...
132
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
103
click to vote
DEDS
2008
15 years 4 months ago
2008
The problem of minimizing communication in a distributed networked system is considered in a discrete-event formalism where the system is modeled as a finite-state automaton. The s...
140
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...